Semantic Web Dog Food

Presented at: 3rd European Semantic Web Conference (ESWC2006)

by Peter Plessers, Olga de Troyer

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.

Resolving Inconsistencies in Evolving Ontologies was presented at this event.

Keywords: Maintenance and versioning (dynamics)

Resource URI on the dog food server: http://data.semanticweb.org/conference/eswc/2006/paper/plessers-detroyer
Same as: http://www.eswc2006.org/full-papers/#plessers-detroyer

Explore this resource elsewhere:

• on Snorql
• on Sindice
• on dotAC Explorer