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},
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… Expand
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. Expand
Reasoning-Supported Interactive Revision of Knowledge Bases
This work proposes a method for integrating newly acquired, possibly low-quality axioms into an existing ontology after their manual inspection; based on the decision whether the axiom is desired or not, several of the yet unevaluated axiomatic are evaluated automatically. Expand
Repairing mappings across biomedical ontologies by probabilistic reasoning and belief revision
A novel approach for repairing biomedical ontology mappings by probabilistic reasoning and belief revision techniques, featuring a combination of removal strategy and revision strategy, suitable for applications like ontology-supported medical information retrieval, semantic annotation and indexing of medical articles, and matchmaking and ranking objects among multiple ontologies. Expand
Semi-Automatic Revision of Formalized Knowledge
This paper proposes an approach to support the revision of ontologies and shows that this method reduces the manual effort measured in number of decisions that have to be made by an ontology engineer by up to 83%. Expand
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. Expand
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. Expand
Author ' s personal copy Interactive ontology revision
When ontological knowledge is acquired automatically, quality control is essential. Which part of the automatically acquired knowledge is appropriate for an application often depends on the contextExpand
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. Expand
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. Expand
Reasoning-Supported Quality Assurance for Knowledge Bases
A sophisticated framework and the corresponding tool support for partially automating the inspection of ontologies with respect to accuracy is developed and it is shown that this estimate can effectively be learned on-the-fly over the course. Expand


Applying Logical Constraints to Ontology Matching
Automatically discovering semantic relations between ontologies is an important task with respect to overcoming semantic heterogeneity on the semantic web. Ontology matching systems, however, oftenExpand
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. Expand
Reasoning about Ontology Mappings
The use of logic-based representations in distributed environments such as the semantic web has lead to work on the representation of and reasoning with mappings between distributed ontologies. Up toExpand
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. Expand
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. Expand
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. Expand
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. Expand
Peer-to-peer semantic coordination
This paper proposes a method for discovering semantic mappings across hierarchical classifications (HCs) based on a new approach, which shifts the problem of semantic coordination from the issue of computing linguistic or structural similarities to that of deducing relations between sets of logical formulae that represent the meaning of concepts belonging to different schema. Expand
OntoFarm : Towards an Experimental Collection of Parallel Ontologies
The number of semantic web tools assumed to operate on multiple ontologies from the same domain is growing far ahead of availability of suitable testing material. We suggest a domain and principlesExpand