Logic Programming Infrastructure for Inferences on FrameNet

The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within Computational Linguistics. Despite the success of statistical or keyword based methods, deeper Knowledge Representation (KR) techniques along with “inference” are often mentioned as mandatory, e.g. within the Semantic Web context, to enable e.g. better query answering based on “semantical” information. In this paper we try to contribute to the open question how to operationalize semantic information on a larger scale. As a basis we take the frame structures of the Berkeley FrameNet II project, which is a structured dictionary to explain the meaning of words from a lexicographic perspective. Our main contribution is a transformation of the FrameNet II frames into the answer set programming paradigm of logic programming.

[1]  Johan Bos,et al.  Computational Semantics in Discourse: Underspecification, Resolution, and Inference , 2004, J. Log. Lang. Inf..

[2]  Christoph Wernhard,et al.  System Description : KRHyper , 2003 .

[3]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[4]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[5]  Manfred Pinkal,et al.  Towards a Resource for Lexical Semantics: A Large German Corpus with Extensive Semantic Annotation , 2003, ACL.

[6]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[7]  John B. Lowe,et al.  The Berkeley FrameNet Project , 1998, ACL.

[8]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[9]  C. Fellbaum An Electronic Lexical Database , 1998 .

[10]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[11]  Ilkka Niemelä,et al.  Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.

[12]  Michael Kohlhase,et al.  Inference and Computational Semantics , 2004, J. Log. Lang. Inf..

[13]  Wolfgang Faber,et al.  Declarative problem-solving using the DLV system , 2000 .

[14]  Chitta Baral,et al.  Reasoning in description logics using declarative logic programming , 2004 .

[15]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[16]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[17]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[18]  Michael Kohlhase,et al.  Resource-Adaptive Model Generation as a Performance Model , 2003, Log. J. IGPL.

[19]  Jack Minker,et al.  Logic-Based Artificial Intelligence , 2000 .

[20]  Srini Narayanan,et al.  FrameNet Meets the Semantic Web: A DAML+OIL Frame Representation , 2002 .