A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

Lam, S J and Pan, J and Sleeman, D and Vasconcelos, W (2006) A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. In Proceedings 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-2006), Hong Kong, China.

This document is not available online.

In the Semantic Web, inconsistencies in OWL ontologies may easily occur. Existing approaches either 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 selected for repair, and how to repair those axioms. In this paper, we address this limitation by proposing a ¯ne-grained approach to resolving unsatisfiable ontologies. We revise the axiom tracing technique first proposed by Baader and Hollunder, so as to track which parts of the problematic axioms cause the unsatisfiability. Moreover, we support ontology users in rewriting problematic axioms. In order to minimise the impact of changes and prevent unintended entailment loss, harmful 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.

Contact the site administrator at: hg@ecs.soton.ac.uk