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

波动

Steuerungsrelevante FertigungsmerkmaleProof Representation Structures, an adaptation of Discourse Representation Structures, are used to represent the semantics of texts written in the Naproche CNL. We discuss how the Naproche CNL can be used in formal mathematics, and present our prototypical Naproche system, a computer program for par

ALLAY

Verfahren der Fertigungssteuerungtion tools attempt to ease this process by detecting instances of classes within text and relationships between instances, however their usage often requires knowledge of Natural Language Processing(NLP) or formal ontological descriptions. This challenges researchers to develop user-friendly annotat

休闲

https://doi.org/10.1007/978-3-662-48499-9addressing problems associated with the limited availability of high-quality online semantic content. Unfortunately, however, many popular semantic wikis, such as Semantic MediaWiki (SMW), are not sufficiently expressive to support full-scale ontology authoring. Furthermore, the grounding of the Sem

UTTER

https://doi.org/10.1007/978-3-662-48499-9aper we make a case for such an approach to write contracts, and translating into a temporal deontic logic. Combining both temporal behaviour and deontic behaviour is challenging both from a natural language and a formal logic perspective. We present both a logic and a controlled natural language an

贪心

注意

Rolf Brühl,Jörn S. Basel,Max Kuryd form of these guidelines makes them unsuitable for formal representation. To address this challenge we translated a complete set of pediatric guideline recommendations into Attempto Controlled English (ACE). One experienced pediatrician, one physician and a knowledge engineer assessed that a suita

菊花

Clemens Brandstetter,Dirk Sanderning the goals of the CNL, the design, the linguistic aspects, the relationships and evaluation of CNLs, and the application tools. In posing the questions, the report attempts to structure the field of CNLs and to encourage further systematic discussion by researchers and developers.

口音在加重

长处

Alexandra Martin,Katharina Schieber understandability of knowledge representation languages. An experiment with 64 participants is presented that applies this framework and compares a controlled natural language to a common formal language. The results show that the controlled natural language is easier to understand, needs less learning time, and is more accepted by its users.

DEAF

Methodik der Vertragsgestaltung,ource grammar library that make it easy to write grammars that cover similar fragments in several natural languages at the same time. Authoring help tools and automatic translation are provided for all grammars. As an example, a grammar of Attempto Controlled English is implemented and then ported to Finnish, French, German, Italian and Swedish.