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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal on Data Semantics (2003)
Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)
Garey, M.R., Johnson, D.S.: Computers and intractability: A guide to the theory of NP-completeness. W. H. Freeman and Company, New York (1979)
Giunchiglia, F., Yatskevich, M., Shvaiko, P.: Semantic matching: Algorithms and implementation. Journal on Data Semantics (2007)
Jean-Mary, Y.R., Kabuka, M.R.: Asmov: Results for OAEI 2008. In: Proc. of the ISWC 2008 workshop on ontology matching, Karlsruhe, Germany (2008)
Jimenez-Ruiz, E., Grau, B.C., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. In: Proc. of the 6th Annual European Semantic Web Conference, Heraklion, Crete, Greece (2009)
Meilicke, C., Stuckenschmidt, H.: Applying logical constraints to ontology matching. In: Proc. of the 30th German Conference on Artificial Intelligence, Osnabrück, Germany (2007)
Meilicke, C., Stuckenschmidt, H.: Incoherence as a basis for measuring the quality of ontology mappings. In: Proc. of the ISWC 2008 Workshop on Ontology Matching, Karlsruhe, Germany (2008)
Meilicke, C., Stuckenschmidt, H.: An efficient method for computing a local optimal alignment diagnosis. Technical report, University Mannheim, Computer Science Institute (2009)
Meilicke, C., Stuckenschmidt, H., Svab-Zamazal, O.: A reasoning-based support tool for ontology mapping evaluation. In: Proc. of the European Semantic Web Conference, Heraklion, Greece (2009)
Meilicke, C., Tamilin, A., Stuckenschmidt, H.: Repairing ontology mappings. In: Proc. of the Twenty-Second Conference on Artificial Intelligence, Vancouver, Canada (2007)
Meilicke, C., Völker, J., Stuckenschmidt, H.: Learning disjointness for debugging mappings between lightweight ontologies. In: Proc. of the 16th International Conference on Knowledge Engineering and Knowledge Management, Acitrezza, Italy (2008)
Qi, G., Haase, P., Huang, Z., Ji, Q., Pan, J.Z., Völker, J.: A kernel revision operator for terminologies - algorithms and evaluation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 419–434. Springer, Heidelberg (2008)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence (1987)
Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico (2003)
Serafini, L., Tamilin, A.: Local tableaux for reasoning in distributed description logics. In: Proc. of the Int. Workshop on Description Logics, Whistler, Canada (2004)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meilicke, C., Stuckenschmidt, H. (2009). An Efficient Method for Computing Alignment Diagnoses. In: Polleres, A., Swift, T. (eds) Web Reasoning and Rule Systems. RR 2009. Lecture Notes in Computer Science, vol 5837. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05082-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-05082-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05081-7
Online ISBN: 978-3-642-05082-4
eBook Packages: Computer ScienceComputer Science (R0)