Towards Foundational Semantics - Ontological Semantics Revisited

In line with Nirenburg and Raskin’s paradigm of ontological semantics, we adhere to the basic tenet that natural language semantics needs to be captured with respect to an explicitly formalized ontology. Many researchers in computational semantics, however, have neglected the ontological aspects of meaning representation, and even more have neglected aspects of meaning representation related to domain-independent ontologies, i.e. foundational or upper-level ontologies. In this paper we argue for a stronger integration of foundational ontologies in computational semantics. We show that relying on foundational ontologies can, on the one hand, lead to a clean separation between domain-specific and domain-independent components of natural language processing systems. On the other hand, we show how the interplay between foundational, domain ontologies and lexical semantics resources can elegantly account for disambiguation as well as allow to draw nontrivial inferences. Further, a temporal theory compliant with the foundational ontology is absolutely necessary for supporting temporal reasoning in natural language understanding.

[1]  Francis Jeffry Pelletier,et al.  Representation and Inference for Natural Language: A First Course in Computational Semantics , 2005, Computational Linguistics.

[2]  Uwe Reyle,et al.  From discourse to logic , 1993 .

[3]  Steffen Staab,et al.  Handbook on Ontologies (International Handbooks on Information Systems) , 2004 .

[4]  Collin F. Baker,et al.  Frame semantics for text understanding , 2001 .

[5]  David R. Dowty On the Semantic Content of the Notion of ‘Thematic Role’ , 1989 .

[6]  John A. Bateman Upper Modeling: organizing knowledge for natural language processing , 1990, INLG.

[7]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

[8]  Reinhard Muskens,et al.  Talking about Trees and Truth-Conditions , 2001, J. Log. Lang. Inf..

[9]  Uwe Reyle,et al.  Ontology-based semantic construction underspecification and disambiguation , 2003 .

[10]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[11]  Ramanathan V. Guha,et al.  CYC: A Midterm Report , 1990, AI Mag..

[12]  Philipp Cimiano,et al.  Ingredients of a first-order account of bridging , 2006, Proceedings of the Fifth International Workshop on Inference in Computational Semantics.

[13]  Srini Narayanan,et al.  Ontology-based Reasoning about Lexical Resources , 2006 .

[14]  Aravind K. Joshi,et al.  Tree-Adjoining Grammars , 1997, Handbook of Formal Languages.

[15]  Herbert H. Clark,et al.  Bridging , 1975, TINLAP.

[16]  Claire Gardent,et al.  Interpreting Definites using Model Generation , 2000 .

[17]  David R. Dowty,et al.  Word Meaning and Montague Grammar , 1979 .

[18]  M. McShane,et al.  An Implemented , Integrative Approach to Ontology-Based NLP and Interlingua , 2005 .

[19]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.