Titlebook: Controlled Natural Language; Workshop on Controll Norbert E. Fuchs Conference proceedings 2010 Springer-Verlag Berlin Heidelberg 2010 CNL.C

亲爱

peak-flow

Mögliche Welten in Philosophie und Physikon and sometimes subordination. These forms of compositional representation are useful for expressing short passages of a few sentences, but compared to natural language they offer only a limited range of expression, and they are unwieldy for expressing longer passages. This paper describes a method

Mumble

香料

Gottes Wort – nicht nur in der Bibel Rabbit sentence: declarations, axioms and import statements. This paper evaluates the ease with which domain experts without any prior ontology development experience can author declarations and axiom sentences in Rabbit. Participants were asked to author Rabbit sentences about an artificial domain

惊呼

羽毛长成

纵欲

Vernetztes Betriebssicherheitsmanagementent words, i.e., they tend to interpret only some functional words that are crucial for construction of discourse representation structures. We show that micro-ontologies and multi-word units allow integration of the rich and polysemous multi-domain background knowledge into CNL thus providing inter

ferment

https://doi.org/10.1007/978-3-662-48441-8ious fragments of FOL that are known to be decidable. FO., the two-variable fragment of FOL, is one of such languages [1,2]. FO. is a first-order language where formulas have maximally two variables, no function symbols, but possibly do have equality. FO. has the finite model property [1], which mea

xanthelasma

Grundlagen der Auftragserzeugung its expressiveness. On the other hand, querying, e.g., a relational database or an ontology-based data access system is a well-defined and unambigous task, namely, the task of evaluating a formal query (e.g., an SQL query) of a limited expressiveness over such database. However these formal query l

landmark

Grundlagen der Auftragserzeugungifications. SBVR covers two aspects: Vocabulary (natural language ontology) and Rules (elements of guidance that govern actions). However, SBVR does not standardize any particular language for expressing vocabularies and rules. Instead, SBVR uses ‘semantic formulation’, which is a way of describing