An Efficient Method for Computing Alignment Diagnoses

Formal, logic-based semantics have long been neglected in ontology matching. As a result, almost all matching systems produce incoherent alignments of ontologies. In this paper we propose a new method for repairing such incoherent alignments that extends previous work on this subject. We describe our approach within the theory of diagnosis and introduce the notion of a local optimal diagnosis. We argue that computing a local optimal diagnosis is a reasonable choice for resolving alignment incoherence and suggest an efficient algorithm. This algorithm partially exploits incomplete reasoning techniques to increase runtime performance. Nevertheless, the completeness and optimality of the solution is still preserved. Finally, we test our approach in an experimental study and discuss results with respect to runtime and diagnostic quality.

[1]  N. Given.  Applying Logical Constraints to Ontology Matching , 2007 .

[2]  Johanna Völker,et al.  A Kernel Revision Operator for Terminologies - Algorithms and Evaluation , 2008, International Semantic Web Conference.

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

[4]  Ian Horrocks,et al.  Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences , 2009, ESWC.

[5]  Heiner Stuckenschmidt,et al.  Repairing Ontology Mappings , 2007, AAAI.

[6]  Steffen Staab,et al.  The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings , 2008, SEMWEB.

[7]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[8]  Fausto Giunchiglia,et al.  Encoding classifications into lightweight ontologies , 2007 .

[9]  Johanna Völker,et al.  Learning Disjointness for Debugging Mappings between Lightweight Ontologies , 2008, EKAW.

[10]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[11]  Mansur R. Kabuka,et al.  ASMOV Results for OAEI 2007 , 2007, OM.

[12]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[13]  Heiner Stuckenschmidt,et al.  A Reasoning-Based Support Tool for Ontology Mapping Evaluation , 2009, ESWC.

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

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

[16]  Heiner Stuckenschmidt,et al.  Incoherence as a Basis for Measuring the Quality of Ontology Mappings , 2008, OM.

[17]  Heiner Stuckenschmidt,et al.  An Efficient Method for Computing a Local Optimal Alignment Diagnosis , 2009 .