A Survey and Classification of Controlled Natural Languages

@article{Kuhn2014ASA,
  title={A Survey and Classification of Controlled Natural Languages},
  author={Tobias Kuhn},
  journal={Computational Linguistics},
  year={2014},
  volume={40},
  pages={121-170}
}
  • Tobias Kuhn
  • Published 1 March 2014
  • Computer Science
  • Computational Linguistics
What is here called controlled natural language (CNL) has traditionally been given many different names. [] Key Method A comprehensive survey of existing English-based CNLs is given, listing and describing 100 languages from 1930 until today. Classification of these languages reveals that they form a single scattered cloud filling the conceptual space between natural languages such as English on the one end and formal languages such as propositional logic on the other. The goal of this article is to provide…
Controlled Natural Languages for Knowledge Representation and Reasoning
TLDR
A paraconsistent logical framework is shown from which six principles that guide the user to encode CNL sentences were created and these six principles can consistently and effectively solve word puzzles with injections of inconsistencies.
Controlled Natural Languages and Default Reasoning
TLDR
This work surveys CNLs and proposes non-monotonic extensions of CNL to support defeasible reasoning, which has well-defined semantics that can be deterministically translated into formal languages, such as Prolog, to do logical reasoning.
Human understanding of information represented in natural versus artificial language (Poster)
  • Erin G. Zaroukian, J. Bakdash
  • Computer Science
    2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA)
  • 2018
TLDR
This paper compares human understanding of information represented in a natural language (NL) to a type of artificial language, called a Controlled Natural Language (CNL), and finds accuracy for NL and CE was comparable, although the speed for understanding CE was slower.
On Pragmemes in Artificial Languages
This chapter examines possibilities for pragmemes and practs in artificial languages, and whether and how artificial languages differ in these respects from natural languages. In some controlled
Controlled Language Applications Workshop ( CLAW ) Workshop Programme 14 : 00 – 14 : 15
TLDR
This work proposes and exemplifies an approach to a high-level controlled language, which is adapted to the legal domain, correlates with the source text, and also facilitates analysis for semantic web applications and can make use of some available NLP processing tools.
Bridging the Gap Between Formal Languages and Natural Languages with Zippers
TLDR
This paper introduces the [InlineEquation not available: see fulltext.] design pattern based on Abstract Syntax Trees AST, Huet's zippers and Montague grammars to zip together a natural language and a formal language.
Formal Validation for Natural Language Programming using Hierarchical Finite State Automata
TLDR
Experimental results from validating a set of collected NL sentences show that the proposed validation and error reporting can catch the unexpected input components while validating the semantics.
A Classification of Grammar-Infused Templates for Ontology and Model Verbalisation
TLDR
A model and classification scheme for grammar-infused templates suited for less-resourced languages and existing systems that make use of them are presented and it is found that of the 15 systems that pair templates and grammar rules, and their 11 distinct template types, 13 have support for detachable grammars.
Engineering an Aligned Gold-Standard Corpus of Human to Machine Oriented Controlled Natural Language
TLDR
A novel dataset is described which aligns a representative sample of Simplified English Wikipedia sentences with a well known machine-oriented CNL, both human-readable and semantically machine interpretable and can benefit a variety of NLP and knowledge based applications.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 233 REFERENCES
Lite Natural Language
TLDR
The present paper addresses the question of which should be the natural language fragment to be used for such a purpose, and how to define it and focuses its attention on DL-Lite, which is a DL studied in the context of ontology-based access to (relational) databases.
Naturalness vs. Predictability: A Key Debate in Controlled Languages
TLDR
It is suggested that a synthesis can be made in which a deterministic core is embedded in a naturalist CL, and illustrated this with the authors' own controlled language CPL.
Expressing DL-Lite Ontologies with Controlled English
TLDR
It is shown that DL-LiteR,⊓, though itself tractable, is incomparable in expressive power with respect to tractable fragments of English, and allows one to represent a restricted form of relative clauses, which lead to intractability when used without restrictions on the occurrences of negations, and existential quantifiers.
Measuring the expressiveness of a constrained natural language: an empirical study
TLDR
This paper describes a technique that is developed for empirically measuring the expressiveness of a constrained natural language (CNL) when used to specify the requirements in a particular application domain.
Controlled English for knowledge representation
TLDR
The goal of this thesis is to give the research area of CNLs for knowledge representation a shift in perspective: from the present explorative and proof-of-concept-based approaches to a more engineering focused point of view.
A Two-Variable Fragment of English
TLDR
This paper defines a controlled language, E2V, whose principalgrammatical resources include determiners, relative clauses, reflexives and pronouns, and provides a formal syntax and semantics for E1V, in whichanaphoric ambiguities are resolved in a linguistically natural way.
Attempto Controlled English for Knowledge Representation
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-order logic. ACE may
MathNat-Mathematical Text in a Controlled Natural Language
TLDR
The MathNat project develops a controlled language for mathematics which is a precisely defined subset of English with restricted grammar and dictionary, and automatically translates CLM into a system independent formal language (MathAbs), with a hope to make MathNat accessible to any proof checking system.
SQUALL: A Controlled Natural Language for Querying and Updating RDF Graphs
TLDR
SQUALL is introduced, a controlled natural language for querying and updating RDF graphs that has a strong adequacy with RDF, an expressiveness close to SPARQL 1.1, and a CNL syntax that completely abstracts from low-level notions such as bindings and relational algebra.
Ontology-Based Controlled Natural Language Editor Using CFG with Lexical Dependency
TLDR
A newly developed editor, which is proposed in this paper, permits grammar definitions through CFG-LD (Context-Free Grammar with Lexical Dependency) that includes sequential and semantic structures of the grammars.
...
1
2
3
4
5
...