A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Abstract

The ability to deal with inconsistencies and to evaluate the impact of possible solutions for resolving inconsistencies are of the utmost importance in real world ontology applications. The common approaches either identify the minimally unsatisfiable sub-ontologies or the maximally satisfiable sub-ontologies. However there is little work which addresses the issue of rewriting the ontology; it is not clear which axioms or which parts of axioms should be repaired, nor how to repair those axioms. In this paper, we address these limitations by proposing an approach to resolving unsatisfiable ontologies which is fine-grained in the sense that it allows parts of axioms to be changed. 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 have developed a tool to support the ontology user in rewriting problematic axioms. In order to minimise the impact of changes and prevent unintended entailment loss, both harmful and helpful changes are identified and reported to the user. Finally we present an evaluation of our interactive debugging tool and demonstrate its applicability in practice.
Original languageEnglish
Title of host publicationJournal on Data Semantics X
Subtitle of host publicationLecture Notes in Computer Science
EditorsStefano Spaccapietra
PublisherSpringer
Pages62-95
Number of pages34
Volume4900
DOIs
Publication statusPublished - 2008

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume4900

Keywords

  • Ontologies
  • Description Logics reasoning

Fingerprint Dive into the research topics of 'A Fine-Grained Approach to Resolving Unsatisfiable Ontologies'. Together they form a unique fingerprint.

  • Cite this

    Lam, S. C., Sleeman, D., Pan, J. Z., & Vasconcelos, W. W. M. P. D. (2008). A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. In S. Spaccapietra (Ed.), Journal on Data Semantics X: Lecture Notes in Computer Science (Vol. 4900, pp. 62-95). (Lecture Notes in Computer Science; Vol. 4900). Springer . https://doi.org/10.1007/978-3-540-77688-8_3