Instance Migration in Heterogeneous Ontology Environments

In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set of instances of a source ontology into a semantically related target ontology. Our approach exploits mappings between ontologies, which are used to reconcile both conceptual and individual level heterogeneity, and further used to draw the migration process. We ground the approach on a distributed description logic (DDL), in which ontologies are formally encoded as DL knowledge bases and mappings as bridge rules and individual correspondences. From the theoretical side, we study the task of reasoning with instance data in DDL composed of SHIQ ontologies and define a correct and complete distributed tableaux inference procedure. From the practical side, we upgrade the DRAGO DDL reasoner for dealing with instances and further show how it can be used to drive the migration of instances between heterogeneous ontologies.

[1]  Peishen Qi,et al.  Ontology Translation on the Semantic Web , 2003, J. Data Semant..

[2]  Yimin Wang,et al.  A decentralized infrastructure for query answering over distributed ontologies , 2007, SAC '07.

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

[4]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[5]  Boris Motik,et al.  A mapping system for the integration of OWL-DL ontologies , 2005, IHIS '05.

[6]  Peishen Qi,et al.  Ontology Translation on the Semantic Web , 2003, OTM.

[7]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[8]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[9]  Frank van Harmelen,et al.  Contextualizing ontologies , 2004, J. Web Semant..

[10]  Alexander Borgida,et al.  Aspects of Distributed and Modular Ontology Reasoning , 2005, IJCAI.

[11]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[12]  Antoine Zimmermann,et al.  Query Answering in Distributed Description Logics , 2007 .

[13]  François Goasdoué,et al.  Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach , 2003, IIWeb.

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

[15]  Diego Calvanese,et al.  A Framework for Ontology Integration , 2001, The Emerging Semantic Web.

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

[17]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[18]  Sven Abels,et al.  Proceedings of the first international workshop on Interoperability of heterogeneous information systems , 2005, CIKM 2005.

[19]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[20]  David A. McAllester,et al.  Automated Deduction - CADE-17 , 2000, Lecture Notes in Computer Science.

[21]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

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