A semi-automated approach to validate ontology mappings

Companies are increasingly adopting ontologies in their information systems. To tackle with this growth trend ontology mappings are increasing as well. Tools constructed to support ontology mappings modeling and definitions are becoming common, however tools that validate these mappings are rare and limited. This paper proposes a semi-automatic tool to validate ontology mapping, adapting approaches already used in software validation field, such as model based tests and model checking

[1]  Dieter Jungnickel,et al.  Graphs, Networks, and Algorithms , 1980 .

[2]  B. Hammond.  Ontology , 2004, Lawrence Booth’s Book of Visions.

[3]  Alan J. Hu,et al.  Calysto: scalable and precise extended static checking , 2008, ICSE.

[4]  Gordon Fraser,et al.  Testing with model checkers: a survey , 2009 .

[5]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[6]  WotawaFranz,et al.  Testing with model checkers: a survey , 2009 .

[7]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[8]  Jüri Vain,et al.  Model-Based Testing of Reactive Systems , 2009 .

[9]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[10]  Harald Raffelt,et al.  Model Checking , 2004, Model-Based Testing of Reactive Systems.

[11]  Antonia Bertolino,et al.  Software Testing Research: Achievements, Challenges, Dreams , 2007, Future of Software Engineering (FOSE '07).