Attributive concept descriptions with complements
Artificial Intelligence
The description logic handbook
Finding maximally satisfiable terminologies for the description logic ALC
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Debugging and semantic clarification by pinpointing
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
The two cultures: mashing up web 2.0 and the semantic web
Proceedings of the 16th international conference on World Wide Web
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Ontology change: Classification and survey
The Knowledge Engineering Review
Approaches to inconsistency handling in description-logic based ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Forgetting for knowledge bases in DL-Lite
Annals of Mathematics and Artificial Intelligence
Reasoning by analogy in the generation of domain acceptable ontology refinements
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
| Hi-index | 0.00 |
In the Semantic Web, inconsistencies in OWL on- tologies may easily occur. Existing approaches ei- ther identify the minimally unsatisfiable sub-ontologies or calculate the maximally satisfiable sub-ontologies. However practical problems remain; it is not clear which axioms or which parts of axioms should be se- lected for repair, and how to repair those axioms. In this paper, we address this limitation by proposing a fine-grained approach to resolving unsatisfiable ontolo- gies. We revise the axiom tracing technique first pro- posed by Baader and Hollunder, so as to track which parts of the problematic axioms cause the unsatisfiabil- ity. Moreover, we support ontology users in rewriting problematic axioms. In order to minimise the impact of changes and prevent unintended entailment loss, harm- ful and helpful changes are identified and provided as guidelines. Based on the methods described we present a preliminary version of an interactive debugging tool and demonstrate its applicability in practice.