A fine-grained approach to resolving unsatisfiable ontologies

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

21 Citations (Scopus)

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 publicationProceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06
Pages428-434
Number of pages7
DOIs
Publication statusPublished - 1 Dec 2007
Event2006 IEEE/WIC/ACM International Conference on Web Intelligence, WI'06 - Hong Kong, China
Duration: 18 Dec 200622 Dec 2006

Conference

Conference2006 IEEE/WIC/ACM International Conference on Web Intelligence, WI'06
CountryChina
CityHong Kong
Period18/12/0622/12/06

Fingerprint

Ontology
Repair
Semantic Web

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Cite this

Lam, S. C., Pan, J. Z., Sleeman, D., & Vasconcelos, W. (2007). A fine-grained approach to resolving unsatisfiable ontologies. In Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06 (pp. 428-434). [4061407] https://doi.org/10.1109/WI.2006.11

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

Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06. 2007. p. 428-434 4061407.

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

Lam, SC, Pan, JZ, Sleeman, D & Vasconcelos, W 2007, A fine-grained approach to resolving unsatisfiable ontologies. in Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06., 4061407, pp. 428-434, 2006 IEEE/WIC/ACM International Conference on Web Intelligence, WI'06, Hong Kong, China, 18/12/06. https://doi.org/10.1109/WI.2006.11
Lam SC, Pan JZ, Sleeman D, Vasconcelos W. A fine-grained approach to resolving unsatisfiable ontologies. In Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06. 2007. p. 428-434. 4061407 https://doi.org/10.1109/WI.2006.11
Lam, Sik Chun ; Pan, Jeff Z. ; Sleeman, Derek ; Vasconcelos, Wamberto. / A fine-grained approach to resolving unsatisfiable ontologies. Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06. 2007. pp. 428-434
@inproceedings{15c959961a80443da69cf8e720aaaecd,
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 Wamberto Vasconcelos",
year = "2007",
month = "12",
day = "1",
doi = "10.1109/WI.2006.11",
language = "English",
isbn = "0769527477",
pages = "428--434",
booktitle = "Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings), WI'06",

}

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

PY - 2007/12/1

Y1 - 2007/12/1

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.

UR - http://www.scopus.com/inward/record.url?scp=42549170509&partnerID=8YFLogxK

U2 - 10.1109/WI.2006.11

DO - 10.1109/WI.2006.11

M3 - Conference contribution

SN - 0769527477

SN - 9780769527475

SP - 428

EP - 434

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

ER -