04469nam 2200589 a 450 991048350530332120200520144314.01-280-38799-897866135659143-642-14418-710.1007/978-3-642-14418-9(CKB)2550000000015605(SSID)ssj0000446392(PQKBManifestationID)11262651(PQKBTitleCode)TC0000446392(PQKBWorkID)10491646(PQKB)11157805(DE-He213)978-3-642-14418-9(MiAaPQ)EBC3065503(PPN)149072775(EXLCZ)99255000000001560520100607d2010 uy 0engurnn|008mamaatxtccrControlled natural language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009 : revised papers /Norbert E. Fuchs, (ed.)1st ed.Berlin Springer20101 online resource (X, 291 p. 62 illus.) LNCS sublibrary. SL 7, Artificial intelligenceLecture notes in artificial intelligence,0302-9743 ;5972Bibliographic Level Mode of Issuance: Monograph3-642-14417-9 Includes bibliographical references and index.Language Aspects -- An Evaluation Framework for Controlled Natural Languages -- Rhetorical Compositions for Controlled Natural Languages -- Anaphora Resolution Involving Interactive Knowledge Acquisition -- Talking Rabbit: A User Evaluation of Sentence Production -- Naturalness vs. Predictability: A Key Debate in Controlled Languages -- Implementing Controlled Languages in GF -- Polysemy in Controlled Natural Language Texts -- Economical Discourse Representation Theory -- Controlled English Ontology-Based Data Access -- SBVR’s Approach to Controlled Natural Language -- Tools and Applications -- The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts -- On Designing Controlled Natural Languages for Semantic Annotation -- Development of a Controlled Natural Language Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit to OWL: Ontology Authoring with a CNL-Based Tool -- Writing Clinical Practice Guidelines in Controlled Natural Language -- What Are Controlled Natural Languages? -- On Controlled Natural Languages: Properties and Prospects.Controlled natural languages (CNLs) are subsets of natural languages, obtained by - stricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languagesfall into two major types: those that - prove readability for human readers, and those that enable reliable automatic semantic analysis of the language. [. . . ] The second type of languages has a formal logical basis, i. e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as ?rst-order logic. Thus, those languages can be used as knowledge representation languages, and writing of those languages is supported by fully au- matic consistency and redundancy checks, query answering, etc. Wikipedia Variouscontrollednatural languagesof the second type have been developedby a n- ber of organizations, and have been used in many different application domains, most recently within the Semantic Web. The workshop CNL 2009 was dedicated to discussing the similarities and the d- ferences of existing controlled natural languages of the second type, possible impro- ments to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.Lecture notes in computer science.Lecture notes in artificial intelligence ;5972.Lecture notes in computer science.Lecture notes in artificial intelligence.Natural language processing (Computer science)CongressesNatural language processing (Computer science)006.3/5Fuchs N. E(Norbert E.)1763064Workshop on Controlled Natural LanguageMiAaPQMiAaPQMiAaPQBOOK9910483505303321Controlled natural language4203312UNINA