ABSTRACT
WordNet is a rich source of world knowledge from which formal axioms can be derived. In this paper we present a method for transforming the WordNet glosses into logic forms and further into axioms. The transformation of WordNet glosses into logic forms is useful for theorem proving and other applications. The paper demonstrates the utility of the WordNet axioms in a question answering system to rank and extract answers.
- John Bear and R. Jerry Hobbs. 1988. Localizing expression of ambiguity. In Proceedings of the Second Conference on Applied Natural Language Processing, pages 235--242. Google ScholarDigital Library
- R. Bruce and L. Guthrie. 1992. Genus disambiguation: A study in weighted preference. In Proceedings of COLING'92, Nantes, France. Google ScholarDigital Library
- M. Chodorow, R. Byrd, and G. Heidorn. 1985. Extracting semantic hierarchies from a large on-line dictionary. In Proceedings of the 23rd Annual Meting of the Association for Computational Linguistics, pages 299--304. Google ScholarDigital Library
- David Davidson. 1967. The logical form of action sentences. In N. Rescher, editor, The Logic of Decision and Action, pages 81--95. University of Pittsburgh Press.Google Scholar
- Sanda M. Harabagiu, A. George Miller, and Dan I. Moldovan. 1999. Wordnet 2 - a morphologically and semantically enhanced resource. In Proceedings of SIGLEX-99, pages 1--8, University of Maryland, June.Google Scholar
- Sanda Harabagiu, Dan Moldovan, Marius Pasca, Rada Mihalcea, Mihai Surdeanu, Razvan Bunescu, Roxana Girju, Vasile Rus, and Paul Morarescu. 2000. FALCON: Boosting knowledge for answer engines. In Proceedings of the Text Retrieval Conference (TREC-9), November.Google Scholar
- Jerry R. Hobbs. 1986. Overview of the tacitus project. Computational Linquistics, 12(3). Google ScholarDigital Library
- ISI. 1998. http://www.isi.edu/naturallanguage/dpp/.Google Scholar
- George Miller. 1995. Wordnet: a lexical database for english. Communications of the ACM, 38(11):39--41. Google ScholarDigital Library
- NIST. 2000. National institute for science and technology. http://trec.nist.gov.Google Scholar
- Stephen D. Richardson, William B. Dolan, and Lucy Vanderwende. 1998. Mindnet: acquiring and structuring semantic information from text. In Proceedings of COLING '98. Google ScholarDigital Library
- G. Rigau, H. Rogdriguez, and E. Agirre. 1998. Building accurate semantic taxonomies from monolingual mrds. In Proceedings of COLING-ACL'98, Montreal, Canada. Google ScholarDigital Library
- Y. A. Wilks, B. M. Slator, and L. M. Guthrie. 1996. Electric Words- Dictionaries, Computers and Meanings. The MIT Press. Google ScholarDigital Library
Recommendations
Towards a fuzzy logic programming system: a clausal form fuzzy logic
Traditional logic and logic programming languages cannot handle uncertainty. Fuzzy logic can, but it requires a readily computable form. One possible way to achieve this is to define a propositional fuzzy logic, extend this to a first order form, ...
Question Answering: From Partitions to Prolog
TABLEAUX '02: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related MethodsWe implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tableau theorem proving. The algorithm relies on a syntactic characterization of answerhood: ...
The need for ancestor resolution when answering queries in horn clause logic
ICLP'05: Proceedings of the 21st international conference on Logic ProgrammingProlog Technology Theorem Proving. (PTTP) [5] is a well known extension of Prolog for answering queries in first-order logic. PTTP is based on the idea that ‘Prolog can be viewed as an “almost complete” theorem prover, which has to be extended by only a ...
Comments