Controlled Natural Language Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers
This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010. The 9 revised papers presented in this volume, together with 1 tutorial, were carefully reviewed and selected from 17 init...
Saved in:
| Main Authors | , |
|---|---|
| Format | eBook |
| Language | English |
| Published |
Netherlands
Springer Nature
2012
Springer Berlin / Heidelberg Springer |
| Edition | 1 |
| Series | LNCS sublibrary. SL 7, Artificial intelligence |
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010. The 9 revised papers presented in this volume, together with 1 tutorial, were carefully reviewed and selected from 17 initial submissions. They broadly cover the field of controlled natural language, stressing theoretical and practical aspects of CNLs, relations to other knowledge representation languages, tool support, and applications. |
|---|---|
| AbstractList | This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy, in September 2010. The 9 revised papers presented in this volume, together with 1 tutorial, were carefully reviewed and selected from 17 initial submissions. They broadly cover the field of controlled natural language, stressing theoretical and practical aspects of CNLs, relations to other knowledge representation languages, tool support, and applications. |
| Author | Rosner, Michael Fuchs, Norbert E |
| Author_xml | – sequence: 1 fullname: Rosner, Michael – sequence: 2 fullname: Fuchs, Norbert E |
| BookMark | eNpdz8tOwzAQBVAjHqKUfAGbig1iUcmveOIlROUhRbBBbKNx4qSlxi5xQn-fQNjAbEYjHd3RPSNHPnh7QBINmVCSC8YgzQ7_3SdkBlpJoTJNT0kS4xsdR2mQADNykQffd8E5Wy-esB86dIsCfTtga8_JcYMu2uR3z8nr3eolf1gWz_eP-U2xRKGZ1EvOFQADaqVlKUhUwKhuxveYytpgTSVntTRGA61RNw01shKVsYrahmstxZxcT8EYt3Yf18H1sfx01oSwjeWfNqO9muyuCx-DjX35wyo71kBXrm5zQYFq9S0vJ1lhRLfxm_I9-NB2uFvHMpWMpywTXzMGWRU |
| ContentType | eBook |
| DBID | I4C |
| DEWEY | 511 |
| DatabaseName | Torrossa Single Purchase Catalogue |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EISBN | 9783642311758 364231175X |
| Edition | 1 |
| Editor | Rosner, Michael Fuchs, Norbert E |
| Editor_xml | – sequence: 1 fullname: Fuchs, Norbert E – sequence: 2 fullname: Rosner, Michael |
| ExternalDocumentID | 9783642311758 EBC3070968 5412518 |
| GroupedDBID | -EI 089 0D6 0DA 2HV 38. A4J AABBV AAFYB AAPKO ABBVZ ABFCL ABFCV ABMNI ADWNV AEDXK AEKFX AETDV AEZAY AIJHZ AIMOO ALMA_UNASSIGNED_HOLDINGS AZZ BBABE CZZ I4C IEZ IX. LDH MA. NUC PH7 PI1 SAO SBO TGCOT TPJZQ TSXQS Z88 AEJLV Z83 |
| ID | FETCH-LOGICAL-a39149-22677170e4e1574a67109f231a54dbad0421d4bb970da9ff0b4c3cbe60ef29943 |
| ISBN | 9783642311758 364231175X 3642311741 9783642311741 |
| IngestDate | Sun Apr 21 14:03:19 EDT 2024 Mon Mar 25 23:56:43 EDT 2024 Tue Nov 14 22:47:37 EST 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a39149-22677170e4e1574a67109f231a54dbad0421d4bb970da9ff0b4c3cbe60ef29943 |
| OCLC | 796436890 |
| PQID | EBC3070968 |
| PageCount | 201 |
| ParticipantIDs | askewsholts_vlebooks_9783642311758 proquest_ebookcentral_EBC3070968 casalini_monographs_5412518 |
| PublicationCentury | 2000 |
| PublicationDate | 2012 2012-07-06 |
| PublicationDateYYYYMMDD | 2012-01-01 2012-07-06 |
| PublicationDate_xml | – year: 2012 text: 2012 |
| PublicationDecade | 2010 |
| PublicationPlace | Netherlands |
| PublicationPlace_xml | – name: Netherlands – name: Berlin, Heidelberg |
| PublicationSeriesTitle | LNCS sublibrary. SL 7, Artificial intelligence |
| PublicationYear | 2012 |
| Publisher | Springer Nature Springer Berlin / Heidelberg Springer |
| Publisher_xml | – name: Springer Nature – name: Springer Berlin / Heidelberg – name: Springer |
| SSID | ssj0000697477 |
| Score | 1.8989344 |
| Snippet | This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, CNL 2010, held in Marettimo Island, Italy,... |
| SourceID | askewsholts proquest casalini |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Congresses Mathematics. General principles Natural language processing (Computer science) |
| Subtitle | Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers |
| TableOfContents | Title -- Preface -- Organisation -- Table of Contents -- Typeful Ontologies with Direct Multilingual Verbalization -- Introduction -- The Abstract Syntax of SUMO-GF -- The Taxonomy -- Instances -- Functions, Predicates and Logical Formulas -- Proofs in Natural Language -- Russell's Paradox -- Verbalization -- Evaluation -- Automated Reasoning in SUMO-GF -- End-User Interface -- Related Work -- Future Work -- Conclusion -- References -- Controlling Ambiguities in Legislative Language -- Introduction -- Approach -- Status Quo in Legislative Drafting -- Ambiguities Controlled by Existing Drafting Guidelines -- Ambiguities Not Controlled by Existing Guidelines -- Proposed Rules -- Controlling Attachment Ambiguity -- Controlling Plural Ambiguities -- Related Work -- Conclusion -- References -- Interpreting Plurals in the Naproche CNL -- Introduction -- Proof Representation Structures -- Collective vs. Distributive Readings of Plurals -- Scope Ambiguity -- Pairwise Interpretations of Collective Plurals -- The Plural Interpretation Algorithm -- Related and Future Work -- Conclusion -- References -- Engineering a Controlled Natural Language into Semantic MediaWiki -- Introduction -- CLANN System -- CLANN Grammar -- CLANN Editor -- PDO Ontology -- Implementation -- CLANN Grammar -- Architecture -- Related Work -- Conclusion -- References -- First-Order Reasoning for Attempto Controlled English -- Introduction -- General Features of RACE -- Working with RACE -- A Look under the Hood of RACE -- All Things Considered -- Decidability, Termination, Efficiency, Looping and All That -- Conclusions -- References -- Codeco: A Practical Notation for Controlled English Grammars in Predictive Editors -- Introduction -- Background -- Requirements for Controlled English Grammars -- Natural Language Grammar Frameworks -- Parser Generators -- Definite Clause Grammars Need for Controlled Natural Languages in Modeling -- Related Work -- Syntax Based Approaches -- Pattern Based Approaches -- Textual versus Graphical Representations -- Using Pattern Sentences to Verbalize Models -- Separating Syntax from Semantics -- Mapping between Graphs and Pattern Sentences -- Example: A Telecom Product Model -- Example: Verbalizing a Process Ontology -- Choosing Pattern Sentences -- Structuring the Use of Natural Language -- RuleSpeak Sentence Patterns -- RuleSpeak Guidelines -- Human Interfaces Based on Pattern Sentences -- Using Language Representation in Knowledge Base Access -- Editing Models by Manipulating Sentences -- Conclusions and Future Work -- References -- Author Index Related Work -- The Codeco Notation -- Simple Categories and Grammar Rules -- Normal Forward and Backward References -- Scopes and Accessibility -- Position Operators -- Negative Backward References -- Complex Backward References -- Strong Forward References -- Principles of Reference Resolution -- Restriction on Backward References -- Implementations -- ACE Codeco Grammar -- Evaluation -- Conclusions -- References -- Controlled Language for Everyday Use: The MOLTO Phrasebook -- Introduction -- The Semantic Model -- Concrete Syntax -- Ambiguity and Disambiguation -- Example-Based Grammar Writing -- The Mobile Application -- Evaluation -- Translation Quality -- Coverage -- Engineering Effort -- Usability -- Conclusion -- References -- Controlled Natural Language in a Game for Legal Assistance -- Introduction -- Artificial Legal Assistance -- Legal Assistance with Contracts -- CNLs, Contracts and Games -- Nomic and BanaNomic -- A Deontic Contract Logic and Language for BanaNomic -- BanaL, a CNL for BanaNomic User Input -- Discussion -- Explanation, Structure and Layout -- Layout and Presentation -- Syntactic Sugar and Semantics -- Conclusions -- References -- Working with Events and States in PENG Light -- Introduction -- Controlled Natural Languages (CNLs) -- PENG Light -- The Language Processor of PENG Light -- Writing Support for PENG Light -- Events and States in PENG Light -- A Scenario in PENG Light -- The Event Calculus (EC) -- The Simplified Event Calculus (SEC) -- The SEC at Work -- Specifying Background Knowledge in PENG Light -- Specifying Axioms for Direct Effects in PENG Light -- Specifying Axioms for Indirect Effects in PENG Light -- Specifying Axioms for Continuous Change in PENG Light -- Finding Explanations via Abduction -- Conclusions -- References -- Using CNL Techniques and Pattern Sentences to Involve Domain Experts in Modeling |
| Title | Controlled Natural Language |
| URI | http://digital.casalini.it/9783642311758 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3070968 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783642311758&uid=none |
| Volume | 7175 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB77uNiLWhVrVYJ4jaTN5rE3tVRKqT3V0luYTXcvlgomevDXO5tsHj4Q9BKShR2Sb5Z5bGa-BbhSFKIKT3Jb00DazFVDW_gY2kyhclGSw1UZ2-fcnzyy6cpbNXZu6t0lqbiO33_sK_mPVmmM9Kq7ZP-g2VIoDdA96ZeupGG6fgl-y0fDKZAXmG8oWpxjzpwxMxuP9TQ-q4eop_HFNl4-S37K8lzKEVyNZVgZ7bKUzmM6RAmb0Az4sAXt2_F0tix3mRxf5wv6YMJSiKEdqoR2oIPJE5lUMrdpov0zJqjbMr-5p8znLvahLXUjxgE05LYLe8XxE5axRl3oPJSUs8kh9CtMLIOJVWByBMv78WI0sc3JDza6nHI2m4LCgBJNRzI58AKGvi4ZVfTC6LG1wDWZmsGaCcEDZ41cKUew2I2F9B2pyMEy9xha2-etPAHLRT_2NQkQTWZccPTiAB2UFCsNOMOgB5e1z4_eNtlf6iT6hFEP-gUqES2inE08iQz4PbAKoKJstimsjcZ3I21TuR-e_iqgD7vVmjiDVvryKs8p2EnFhdHoB06d_Mw |
| link.rule.ids | 307,786,790,792 |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Controlled+Natural+Language&rft.date=2012-01-01&rft.pub=Springer+Nature&rft.isbn=9783642311758&rft.externalDocID=5412518 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.askewsandholts.com%2Fuploads%2Fproduct%2Fimages%2Ffull%2F1758%2F9783642311758.jpg |