Article

Free access

Logic form transformation of WordNet and its applicability to question answering

Authors:

Dan I. Moldovan,

Vasile RusAuthors Info & Claims

ACL '01: Proceedings of the 39th Annual Meeting on Association for Computational Linguistics

Pages 402 - 409

https://doi.org/10.3115/1073012.1073064

Published: 06 July 2001 Publication History

PDF eReader

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.

References

[1]

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.

Digital Library

Google Scholar

[2]

R. Bruce and L. Guthrie. 1992. Genus disambiguation: A study in weighted preference. In Proceedings of COLING'92, Nantes, France.

Digital Library

Google Scholar

[3]

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.

Digital Library

Google Scholar

[4]

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

[5]

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

[6]

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

[7]

Jerry R. Hobbs. 1986. Overview of the tacitus project. Computational Linquistics, 12(3).

Digital Library

Google Scholar

[8]

ISI. 1998. http://www.isi.edu/naturallanguage/dpp/.

Google Scholar

[9]

George Miller. 1995. Wordnet: a lexical database for english. Communications of the ACM, 38(11):39--41.

Digital Library

Google Scholar

[10]

NIST. 2000. National institute for science and technology. http://trec.nist.gov.

Google Scholar

[11]

Stephen D. Richardson, William B. Dolan, and Lucy Vanderwende. 1998. Mindnet: acquiring and structuring semantic information from text. In Proceedings of COLING '98.

Digital Library

Google Scholar

[12]

G. Rigau, H. Rogdriguez, and E. Agirre. 1998. Building accurate semantic taxonomies from monolingual mrds. In Proceedings of COLING-ACL'98, Montreal, Canada.

Digital Library

Google Scholar

[13]

Y. A. Wilks, B. M. Slator, and L. M. Guthrie. 1996. Electric Words- Dictionaries, Computers and Meanings. The MIT Press.

Digital Library

Google Scholar

Cited By

View all

Li YRafiei DChirkova RYang JSuciu D(2017)Natural Language Data Management and InterfacesProceedings of the 2017 ACM International Conference on Management of Data10.1145/3035918.3054783(1765-1770)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3035918.3054783
Liu ZQiu XCao LHuang XChen XLebanon GWang HZaki M(2012)Discovering logical knowledge for deep question answeringProceedings of the 21st ACM international conference on Information and knowledge management10.1145/2396761.2398544(1920-1924)Online publication date: 29-Oct-2012
https://dl.acm.org/doi/10.1145/2396761.2398544
Qiu XCao LLiu ZHuang X(2012)Recognizing Inference in Texts with Markov Logic NetworksACM Transactions on Asian Language Information Processing10.1145/2382593.238259711:4(1-23)Online publication date: 1-Dec-2012
https://dl.acm.org/doi/10.1145/2382593.2382597
Show More Cited By

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 Methods

We 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 Programming

Prolog 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACL '01: Proceedings of the 39th Annual Meeting on Association for Computational Linguistics

July 2001

562 pages

General Chair:
Bonnie Lynn Webber

Publisher

Association for Computational Linguistics

United States

Publication History

Published: 06 July 2001

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 85 of 443 submissions, 19%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

34
Total Citations
View Citations
531
Total Downloads

Downloads (Last 12 months)35
Downloads (Last 6 weeks)7

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Li YRafiei DChirkova RYang JSuciu D(2017)Natural Language Data Management and InterfacesProceedings of the 2017 ACM International Conference on Management of Data10.1145/3035918.3054783(1765-1770)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3035918.3054783
Liu ZQiu XCao LHuang XChen XLebanon GWang HZaki M(2012)Discovering logical knowledge for deep question answeringProceedings of the 21st ACM international conference on Information and knowledge management10.1145/2396761.2398544(1920-1924)Online publication date: 29-Oct-2012
https://dl.acm.org/doi/10.1145/2396761.2398544
Qiu XCao LLiu ZHuang X(2012)Recognizing Inference in Texts with Markov Logic NetworksACM Transactions on Asian Language Information Processing10.1145/2382593.238259711:4(1-23)Online publication date: 1-Dec-2012
https://dl.acm.org/doi/10.1145/2382593.2382597
Huang WWu SChen LKu TLiao YTsai WYu L(2011)Feature analysis of Chinese textual entailment systemROCLING 2011 Poster Papers10.5555/2207071.2207079(281-296)Online publication date: 8-Sep-2011
https://dl.acm.org/doi/10.5555/2207071.2207079
Surdeanu MMcClosky DSmith MGusev AManning CKim SKozareva ZNakov PSéaghdha DPadó SSzpakowicz S(2011)Customizing an information extraction system to a new domainProceedings of the ACL 2011 Workshop on Relational Models of Semantics10.5555/2021153.2021155(2-10)Online publication date: 23-Jun-2011
https://dl.acm.org/doi/10.5555/2021153.2021155
Belz AWhite Mvan Genabith JHogan DStent AKelleher JNamee Bvan der Sluis I(2010)Finding common groundProceedings of the 6th International Natural Language Generation Conference10.5555/1873738.1873780(268-272)Online publication date: 7-Jul-2010
https://dl.acm.org/doi/10.5555/1873738.1873780
Athenikos SHan H(2010)Biomedical question answeringComputer Methods and Programs in Biomedicine10.1016/j.cmpb.2009.10.00399:1(1-24)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.1016/j.cmpb.2009.10.003
Szpektor IDagan ICallison-Burch CZanzotto F(2009)Augmenting WordNet-based inference with argument mappingProceedings of the 2009 Workshop on Applied Textual Inference10.5555/1708141.1708147(27-35)Online publication date: 6-Aug-2009
https://dl.acm.org/doi/10.5555/1708141.1708147
Shnarch EBarak LDagan ISu K(2009)Extracting lexical reference rules from WikipediaProceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP: Volume 1 - Volume 110.5555/1687878.1687942(450-458)Online publication date: 2-Aug-2009
https://dl.acm.org/doi/10.5555/1687878.1687942
Mirkin SDagan IShnarch ELascarides AGardent CNivre J(2009)Evaluating the inferential utility of lexical-semantic resourcesProceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics10.5555/1609067.1609129(558-566)Online publication date: 30-Mar-2009
https://dl.acm.org/doi/10.5555/1609067.1609129
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Towards a fuzzy logic programming system: a clausal form fuzzy logic

Question Answering: From Partitions to Prolog

The need for ancestor resolution when answering queries in horn clause logic

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations