Completeness and optimality in ontology alignment debugging

The benefit of light-weight reasoning in ontology matching has been recognized by a number of researchers resulting in alignment repair systems such as Alcomo and LogMap. While the general benefit of logical reasoning has been shown in principle, there is no systematic empirical evaluation analyzing (i) the impact of completeness of the reasoning methods and (ii) whether approximate or optimal solutions to the conflict resolution problem have to be preferred. Using standard benchmark data sets, we show that increasing the expressive power does improve the matching results and that optimal resolution methods slightly outperform approximate ones.

[1]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[2]  Michel C. A. Klein,et al.  Ontology Evolution: Not the Same as Schema Evolution , 2004, Knowledge and Information Systems.

[3]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

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

[5]  Erhard Rahm,et al.  Schema and ontology matching with COMA++ , 2005, SIGMOD '05.

[6]  Jan Nößner,et al.  ELOG: A Probabilistic Reasoner for OWL EL , 2011, RR.

[7]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[8]  Jérôme Euzenat,et al.  Similarity-Based Ontology Alignment in OWL-Lite , 2004, ECAI.

[9]  Heiner Stuckenschmidt,et al.  Results of the Ontology Alignment Evaluation Initiative 2007 , 2006, OM.

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

[11]  Heiner Stuckenschmidt,et al.  Log-Linear Description Logics , 2011, IJCAI.

[12]  Jeff Z. Pan,et al.  KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies , 2010, Description Logics.

[13]  Bernardo Cuenca Grau,et al.  LogMap: Logic-Based and Scalable Ontology Matching , 2011, SEMWEB.

[14]  Mansur R. Kabuka,et al.  Ontology matching with semantic verification , 2009, J. Web Semant..

[15]  V. Svátek,et al.  OntoFarm : Towards an Experimental Collection of Parallel Ontologies , 2005 .

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

[17]  J. Euzenat,et al.  Ontology Matching , 2007, Springer Berlin Heidelberg.

[18]  Heiner Stuckenschmidt,et al.  Results of the Ontology Alignment Evaluation Initiative , 2007 .

[19]  Ian Horrocks,et al.  Evaluating Mapping Repair Systems with Large Biomedical Ontologies , 2013, Description Logics.

[20]  Christian Meilicke,et al.  Alignment incoherence in ontology matching , 2011 .

[21]  Jan Nößner,et al.  Efficient maximum a-posteriori inference in Markov logic and application in description logics , 2014 .