Attempto controlled english: A knowledge representation language readable by humans and machines

Lecture Notes in Computer Science

Volumn 3564, Issue , 2005, Pages 213-250

  Fuchs, Norbert E ^a   Höfler, Stefan ^a   Kaljurand, Kaarel ^a   Rinaldi, Fabio ^a   Schneider, Gerold ^a  

^a UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; KNOWLEDGE ACQUISITION; NATURAL LANGUAGE PROCESSING SYSTEMS;

ATTEMPTO CONTROLLED ENGLISH (ACE); ENGLISH SYNTAX; LOGIC LANGUAGE; THE ATTEMPTO PARSING ENGINE;

FORMAL LANGUAGES;

EID: 26444549890     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526988_6     Document Type: Conference Paper

References (6)

1. Attempto Website. http://www.ifi.unizh.ch/attempto.
2. Patrick Blackburn and Johan Bos. Working with Discourse Representation Structures, volume 2nd of Representation and Inference for Natural Language: A First Course in Computational Linguistics. September 1999.
3. Norbert E. Fuchs and Uta Schwertel. Reasoning in Attempto Controlled English. In Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2003), Lecture Notes in Computer Science, Hannover, 2003. Springer.
4. Jerry R. Hobbs. Ontological Promiscuity. In Proceedings of the 23rd Annual Meeting of the ACL. University of Chicago, 1985.
5. Hans Kamp and Uwe Reyle. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Kluwer, Dordrecht/Boston/London, 1993.
6. Uta Schwertel. Plural Semantics for Natural Language Understanding - A Computational Proof-Theoretic Approach. PhD thesis, University of Zurich, Zurich, 2003.