Supporting manual mapping revision using logical reasoning

  • Authors:
  • Christian Meilicke;Heiner Stuckenschmidt;Andrei Tamilin

  • Affiliations:
  • KR and KM Research Group, University of Mannheim, Mannheim, Germany;KR and KM Research Group, University of Mannheim, Mannheim, Germany;Data & Knowledge Management Unit, Fondazione Bruno Kessler, IRST, Povo di Trento, Italy

  • Venue:
  • AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Finding correct semantic correspondences between ontologies is one of the most challenging problems in the area of semantic web technologies. Experiences with benchmarking matching systems revealed that even the manual revision of automatically generated mappings is a very difficult problem because it has to take the semantics of the ontologies as well as interactions between correspondences into account. In this paper, we propose methods for supporting human experts in the task of reviSing automatically created mappings. In particular, we present non-standard reasoning methods for detecting and propagating implications of expert decisions on the correctness of a mapping. We show that the use of these reasoning methods significantly reduces the effort of mapping revision in terms of the number of decisions that have to be made by the expert.