Sciweavers

Share
ESWS
2006
Springer

Resolving Inconsistencies in Evolving Ontologies

10 years 8 months ago
Resolving Inconsistencies in Evolving Ontologies
Abstract. Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves from one consistent state into another consistent state. In this paper, we focus on checking consistency of OWL DL ontologies. While existing reasoners allow detecting inconsistencies, determining why the ontology is inconsistent and offering solutions for these inconsistencies is far from trivial. We therefore propose an algorithm to select the axioms from an ontology causing the inconsistency, as well as a set of rules that ontology engineers can use to resolve the detected inconsistency.
Peter Plessers, Olga De Troyer
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where ESWS
Authors Peter Plessers, Olga De Troyer
Comments (0)
books