LEADER 04469nam 2200589 a 450 001 9910483505303321 005 20200520144314.0 010 $a1-280-38799-8 010 $a9786613565914 010 $a3-642-14418-7 024 7 $a10.1007/978-3-642-14418-9 035 $a(CKB)2550000000015605 035 $a(SSID)ssj0000446392 035 $a(PQKBManifestationID)11262651 035 $a(PQKBTitleCode)TC0000446392 035 $a(PQKBWorkID)10491646 035 $a(PQKB)11157805 035 $a(DE-He213)978-3-642-14418-9 035 $a(MiAaPQ)EBC3065503 035 $a(PPN)149072775 035 $a(EXLCZ)992550000000015605 100 $a20100607d2010 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aControlled natural language $eWorkshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009 : revised papers /$fNorbert E. Fuchs, (ed.) 205 $a1st ed. 210 $aBerlin $cSpringer$d2010 215 $a1 online resource (X, 291 p. 62 illus.) 225 1 $aLNCS sublibrary. SL 7, Artificial intelligence 225 1 $aLecture notes in artificial intelligence,$x0302-9743 ;$v5972 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-14417-9 320 $aIncludes bibliographical references and index. 327 $aLanguage 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. 330 $aControlled 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. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v5972. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence. 606 $aNatural language processing (Computer science)$vCongresses 615 0$aNatural language processing (Computer science) 676 $a006.3/5 701 $aFuchs$b N. E$g(Norbert E.)$01763064 712 12$aWorkshop on Controlled Natural Language 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483505303321 996 $aControlled natural language$94203312 997 $aUNINA