A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

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

10 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

Fingerprint

Ontology
Repair

Keywords

  • Ontologies
  • Description Logics reasoning

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

A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. / Lam, Sik Chun; Sleeman, Derek; Pan, Jeff Z; Vasconcelos, Wamberto W M P D.

Journal on Data Semantics X: Lecture Notes in Computer Science. ed. / Stefano Spaccapietra. Vol. 4900 Springer , 2008. p. 62-95 (Lecture Notes in Computer Science; Vol. 4900).

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

Lam, SC, Sleeman, D, Pan, JZ & Vasconcelos, WWMPD 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, Lecture Notes in Computer Science, vol. 4900, Springer , pp. 62-95. https://doi.org/10.1007/978-3-540-77688-8_3
Lam SC, Sleeman D, Pan JZ, Vasconcelos WWMPD. A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. In Spaccapietra S, editor, Journal on Data Semantics X: Lecture Notes in Computer Science. Vol. 4900. Springer . 2008. p. 62-95. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-77688-8_3
Lam, Sik Chun ; Sleeman, Derek ; Pan, Jeff Z ; Vasconcelos, Wamberto W M P D. / A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. Journal on Data Semantics X: Lecture Notes in Computer Science. editor / Stefano Spaccapietra. Vol. 4900 Springer , 2008. pp. 62-95 (Lecture Notes in Computer Science).
@inproceedings{b092bceb40a94d17afb7aa5cbb9f42af,
title = "A Fine-Grained Approach to Resolving Unsatisfiable Ontologies",
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.",
keywords = "Ontologies, Description Logics reasoning",
author = "Lam, {Sik Chun} and Derek Sleeman and Pan, {Jeff Z} and Vasconcelos, {Wamberto W M P D}",
year = "2008",
doi = "10.1007/978-3-540-77688-8_3",
language = "English",
volume = "4900",
publisher = "Springer",
pages = "62--95",
editor = "Stefano Spaccapietra",
booktitle = "Journal on Data Semantics X",

}

TY - GEN

T1 - A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

AU - Lam, Sik Chun

AU - Sleeman, Derek

AU - Pan, Jeff Z

AU - Vasconcelos, Wamberto W M P D

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

KW - Ontologies

KW - Description Logics reasoning

U2 - 10.1007/978-3-540-77688-8_3

DO - 10.1007/978-3-540-77688-8_3

M3 - Conference contribution

VL - 4900

SP - 62

EP - 95

BT - Journal on Data Semantics X

A2 - Spaccapietra, Stefano

PB - Springer

ER -