An Efficient Method for Computing Alignment Diagnoses

  • Authors:

  • Christian Meilicke;Heiner Stuckenschmidt

  • Affiliations:

  • Computer Science Institute, University of Mannheim, Mannheim, Germany B6,26 68159;Computer Science Institute, University of Mannheim, Mannheim, Germany B6,26 68159

  • Venue:
  • RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

Abstract

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.