• Corpus ID: 13910464

Supporting Manual Mapping Revision using Logical Reasoning

  title={Supporting Manual Mapping Revision using Logical Reasoning},
  author={Christian Meilicke and Heiner Stuckenschmidt and Andrei Tamilin},
  booktitle={AAAI Conference on Artificial Intelligence},
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… 

Tables from this paper

A Graph-Based Method for Interactive Mapping Revision

A graph-based method for interactive mapping revision with the purpose of reducing manual efforts as much as possible and an impact function based on the integrated graph to identify the most influential mappings that will be displayed to the expert.

Interactive ontology revision

Toward a Comparison Framework for Interactive Ontology Enrichment Methodologies

A framework consisting of multiple performance dimensions along which existing and future approaches to interactive ontology enrichment can be characterized is proposed, and a categorization scheme is applied to a selection of methodologies from the literature.

A Reasoning-Based Support Tool for Ontology Mapping Evaluation

A web-based tool that supports the human in revising ontology alignments and uses logical reasoning as a basis for detecting conflicts in mappings and exploits these conflicts to propagate user decision.

Author ' s personal copy Interactive ontology revision

This paper provides theoretical foundations, heuristics, optimization strategies and comprehensive experimental results for the approach to efficient reasoning-supported interactive ontology revision, and introduces and elaborate on the notions of revision states and revision closure as formal foundations of the method.

Wheat and Chaff - Practically Feasible Interactive Ontology Revision

This paper presents a generalization of the previously proposed ranking techniques which works well for arbitrary validity ratios - the proportion of valid statements within a dataset - whereas the previously described ranking functions were either tailored towards validity ratios of exactly 100% and 0% or were optimizing the worst case.

Inconsistency Handling in Ontology-Mediated Query Answering

This thesis aims to develop methods for dealing with inconsistent description logic knowledge bases using three natural semantics (AR, IAR, and brave) previously proposed in the literature and that rely on the notion of a repair, which is an inclusion-maximal subset of the data consistent with the ontology.

The Relevance of Reasoning and Alignment Incoherence in Ontology Matching

This work focuses on the notion of alignment incoherence to understand the capabilities of reasoning in ontology matching and aims to solve certain problems that hinder the progress of the whole field.

Universitat Jaume I Logic-based Support for Ontology Development in Open Environments Preface

This dissertation has designed general principles based on logic formalisms and implemented a set of prototype systems to support users in different stages of development of ontologies, namely: reuse of knowledge, concurrent evolution, and integration of independent resources.



Applying Logical Constraints to Ontology Matching

A method for optimizing precision and recall of existing matching systems based on the idea that it is possible to infer logical constraints by comparing subsumption relations between concepts of the ontologies to be matched and shows that this strategy actually improves the quality of the generated mappings.

Repairing Ontology Mappings

The problem of errors in mappings is addressed by proposing a completely automatic debugging method that uses logical reasoning to discover and repair logical inconsistencies caused by erroneous mappings.

Reasoning about Ontology Mappings

This paper identifies a number of properties such as consistency and entailment of mappings that are important for validating and comparing mappings and shows how they can be checked using existing reasoning methods by reducing them to local and global satisfiability testing in distributed description logics.

Aspects of Distributed and Modular Ontology Reasoning

A relatively small change of semantics is proposed which localizes inconsistency, and preserves directionality of "knowledge import", and a characterization of inferences using a fixed-point operator which can form the basis of a cache-based implementation for local reasoners.

A Cognitive Support Framework for Ontology Mapping

This paper combines data gathered from background literature, theories of cognitive support and decision making, and an observational case study to propose a theoretical framework for cognitive support in ontology mapping tools and describes a tool called COGZ that is based on this framework.

Debugging and Semantic Clarification by Pinpointing

This paper identifies minimal sets of axioms which need to be removed or ignored to turn an ontology coherent and shows how pinpointing can be used for debugging of web ontologies in two typical cases.

DRAGO: Distributed Reasoning Architecture for the Semantic Web

The paper describes the design and implementation principles of a distributed reasoning system, called DRAGO (Distributed Reasoning Architecture for a Galaxy of Ontologies), that implements such distributed decision procedure.

OntoFarm : Towards an Experimental Collection of Parallel Ontologies

A domain and principles for building a widely-usable collection of parallel ontologies from the same domain are suggested and an initial fragment of the collection has been created and processed.