Ontology Correspondence via Theory Interpretation

We report on ongoing work to apply techniques of automated theory morphism search in first-order logic to ontology matching and alignment problems. Such techniques are able to discover ‘structural similarities’ across different ontologies by providing theory interpretations of one ontology into another. We sketch the techniques currently available for automating the task of finding theory interpretations in first-order logic and discuss possible extensions and modifications for other ontology languages such as description logics and modular ontology languages such as E-connections.

[1]  Fausto Giunchiglia,et al.  Approximate Structure-Preserving Semantic Matching , 2008, OTM Conferences.

[2]  Bernardo Cuenca Grau,et al.  Modular Ontology Languages Revisited , 2007 .

[3]  Till Mossakowski,et al.  The OWL in the CASL - Designing Ontologies Across Logics , 2008, OWLED.

[4]  T. Tenbrink,et al.  The Role of Conceptual and Linguistic Ontologies in Discourse , 2006 .

[5]  I. V. Ramakrishnan,et al.  Term Indexing , 1995, Lecture Notes in Computer Science.

[6]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[7]  William M. Farmer,et al.  Theory Interpretation in Simple Type Theory , 1993, HOA.

[8]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[9]  Oliver Kutz,et al.  Natural Language Meets Spatial Calculi , 2008, Spatial Cognition.

[10]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[11]  Fausto Giunchiglia,et al.  Semantic Matching: Algorithms and Implementation , 2007, J. Data Semant..

[12]  José Meseguer,et al.  General Logics , 2006 .

[13]  Heterogeneously Structured Ontologies Integration , Connection , and Refinement , 2008 .

[14]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[15]  Tobias Nipkow,et al.  Higher-Order Algebra, Logic, and Term Rewriting , 1993, Lecture Notes in Computer Science.

[16]  Immanuel Normann.  Automated Theory Interpretation , 2009 .

[17]  Heiner Stuckenschmidt,et al.  Reasoning Support for Mapping Revision , 2009, J. Log. Comput..

[18]  S. Wölfl,et al.  The Heterogeneous Tool Set , 2007 .

[19]  Alexander Borgida,et al.  On Importing Knowledge from DL Ontologies: Some Intuitions and Problems , 2007, Description Logics.