A Reasoning-Based Support Tool for Ontology Mapping Evaluation

In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings and exploits these conflicts to propagate user decision. The proposed approach reduces the effort of the human expert and points to logical problems that are hard to find without support.