Logic form transformation of WordNet and its applicability to question answering
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The utility of the WordNet axioms in a question answering system to rank and extract answers is demonstrated and the transformation of WordNet glosses into logic forms is useful for theorem proving and other applications.
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.