A fine-grained approach to resolving unsatisfiable ontologies

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

Abstract

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

Original languageEnglish
Title of host publication2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings)
Place of PublicationLOS ALAMITOS
PublisherIEEE COMPUTER SOC
Number of pages7
ISBN (Print)978-0-7695-2747-5
Publication statusPublished - 2006

Cite this

Lam, S. C., Pan, J. Z., Sleeman, D., & Vasconcelos, W. W. M. P. D. (2006). A fine-grained approach to resolving unsatisfiable ontologies. In 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings) LOS ALAMITOS: IEEE COMPUTER SOC.

A fine-grained approach to resolving unsatisfiable ontologies. / Lam, Sik Chun; Pan, Jeff Z; Sleeman, Derek; Vasconcelos, Wamberto W M P D.

2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings). LOS ALAMITOS : IEEE COMPUTER SOC, 2006.

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

Lam, SC, Pan, JZ, Sleeman, D & Vasconcelos, WWMPD 2006, A fine-grained approach to resolving unsatisfiable ontologies. in 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings). IEEE COMPUTER SOC, LOS ALAMITOS.
Lam SC, Pan JZ, Sleeman D, Vasconcelos WWMPD. A fine-grained approach to resolving unsatisfiable ontologies. In 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings). LOS ALAMITOS: IEEE COMPUTER SOC. 2006
Lam, Sik Chun ; Pan, Jeff Z ; Sleeman, Derek ; Vasconcelos, Wamberto W M P D. / A fine-grained approach to resolving unsatisfiable ontologies. 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings). LOS ALAMITOS : IEEE COMPUTER SOC, 2006.
@inproceedings{babf3c76ed8f4d8eaf67639beaf1bfe5,
title = "A fine-grained approach to resolving unsatisfiable ontologies",
abstract = "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 fine-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.",
author = "Lam, {Sik Chun} and Pan, {Jeff Z} and Derek Sleeman and Vasconcelos, {Wamberto W M P D}",
year = "2006",
language = "English",
isbn = "978-0-7695-2747-5",
booktitle = "2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings)",
publisher = "IEEE COMPUTER SOC",

}

TY - GEN

T1 - A fine-grained approach to resolving unsatisfiable ontologies

AU - Lam, Sik Chun

AU - Pan, Jeff Z

AU - Sleeman, Derek

AU - Vasconcelos, Wamberto W M P D

PY - 2006

Y1 - 2006

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

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

M3 - Conference contribution

SN - 978-0-7695-2747-5

BT - 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings)

PB - IEEE COMPUTER SOC

CY - LOS ALAMITOS

ER -