Supporting Manual Mapping Revision using Logical Reasoning

@inproceedings{Meilicke2008SupportingMM,
  title={Supporting Manual Mapping Revision using Logical Reasoning},
  author={Christian Meilicke and Heiner Stuckenschmidt and Andrei Tamilin},
  booktitle={AAAI},
  year={2008}
}
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… CONTINUE READING

Tables, Results, and Topics from this paper.

Key Quantitative Results

  • We show that the use of automatic reasoning can reduce the effort of manual evaluation by up to 70%.

Citations

Publications citing this paper.
SHOWING 1-10 OF 24 CITATIONS

Approximating Linear Order Inference in OWL 2 DL by Horn Compilation

  • 2012 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology
  • 2012
VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Debugging weighted ontologies

VIEW 1 EXCERPT
CITES BACKGROUND

Similar Papers

Loading similar papers…