An English to logic translator for ontology-based knowledge representation languages

NLP-KE 2003 - 2003 International Conference on Natural Language Processing and Knowledge Engineering, Proceedings

Volumn , Issue , 2003, Pages 777-783

  Pease, Adam ^a   Murray, William ^b  

^a Teknowledge ^*  (United States)

^b Teknowledge Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE ENGINEERING; KNOWLEDGE MANAGEMENT; KNOWLEDGE REPRESENTATION; NATURAL LANGUAGE PROCESSING SYSTEMS; REUSABILITY;

AUTOMATIC TRANSLATION; DEFINITE CLAUSE GRAMMARS; DISCOURSE REPRESENTATION THEORY; DOMAIN-SPECIFIC ONTOLOGIES; KNOWLEDGE REPRESENTATION LANGUAGE; KNOWLEDGE REUSABILITY; KNOWLEDGE-BASED APPLICATIONS; MACHINE TRANSLATIONS;

TRANSLATION (LANGUAGES);

EID: 13944257951     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NLPKE.2003.1276010     Document Type: Conference Paper

References (17)

1. AECMA Simplified English. See http://www.aecma.org/Publications.litm
2. Boeing's Simplified English Checker. See http://www.lim.nl/monitor/boeing.html. From the Jan/Feb 1993 issue of Language Industrv Monitor.
3. Michael A. Covington. (1993) Natural Language Processing for Prolog Programmers. Prentice Hall.
4. Christiane Fcllbaum (Editor). (1998). WordNct: An Electronic Lexical Database (Language, Speech, and Communication). MIT Press.
5. Francis, W., and Kucera, H., (1964). Brown Corpus Manual. Revised 1979. Available at http://www.hit.uib.no/icame/brown/bcm.html
6. N. E. Fuchs, U. Schwertel, R. Schwitter. 1999. Attempto Controlled English (ACE) Language Manual, Version 3,0, Technical Report 99.03, Department of Computer Science. University of Zurich. August 1999.
7. Genesereth, M., (1991). "Knowledge Interchange Format", In Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, Allen. J, Fikes, R., Sandewall, E. (eds). Morgan Kaufman Publishers, pp 238-249.
8. S. Harabagiu, D. Moldovan, M. Pasca, R. Mi-halcea, M. Surdeanu, R. Bunescu, R. G. Erju, V. Rus, and PMorarescu. FALCON: Boosting Knowledge for Answer Engines. NIST Special Publication 500-249: The Ninth Text Retrieval Conference (TREC 9). 479-488
9. Gary Hendrix. (1980) Mediating the views of databases and database users. Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling. June 1980. Available through ACM Digital Library, see http://portal.acm.org/.
10. (Caiman, J. K.(2001) Automated Reasoning with OTTER. Rinton Press.
11. Hans Kamp, Uwe Reyle. (1993), From Discourse to Logic. Kluwer Academic Publishers.
12. Niles, 1., & Pease, A. (2001). Toward a Standard Upper Ontology, in Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001). See also http://ontology.teknowledge.com.
13. Singh, Push. (2002). The Open Mind Common Sense Project. Available: http://www.kurzweilai.net/menie/frame.html?main=/articles/art0371.html
14. John F. Sowa. (2000). Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks Cole Publishing Company.
15. John F. Sowa. (2000). Controlled English. See http://users.bestweb.net/~sowa/misc/ace.htm.
16. Stickel, M., R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. Deductive composition of astronomical software from subroutine libraries. Proceedings of the Twelfth International Confer-enee on Automated Deduction (CADE-12), Nancy, France. June 1994, 341-355. See also http://www.ai.sri.com/~stickel/snark.html.
17. Voorhees, E. (2000). Overview of die TREC-9 Question Answering Track. NIST Special Publication 500-249; The Ninth Text Retrieval Conference (TREC 9), 71-80.