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.