A decomposition-based approach to OWL DL ontology diagnosis

Jianfeng Du; Guilin Qi; Jeff Z. Pan; Yi Dong Shen

doi:10.1109/ICTAI.2011.104

A decomposition-based approach to OWL DL ontology diagnosis

Jianfeng Du^*, Guilin Qi, Jeff Z. Pan, Yi Dong Shen

^*Corresponding author for this work

Computing Science

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

13 Citations (Scopus)

Abstract

Computing all diagnoses of an inconsistent ontology is important in ontology-based applications. However, the number of diagnoses can be very large. It is impractical to enumerate all diagnoses before identifying the target one to render the ontology consistent. Hence, we propose to represent all diagnoses by multiple sets of partial diagnoses, where the total number of partial diagnoses can be small and the target diagnosis can be directly retrieved from these partial diagnoses. We also propose methods for computing the new representation of all diagnoses in an OWL DL ontology. Experimental results show that computing the new representation of all diagnoses is much easier than directly computing all diagnoses.

Original language	English
Title of host publication	Proceedings - 2011 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011
Pages	659-664
Number of pages	6
DOIs	https://doi.org/10.1109/ICTAI.2011.104
Publication status	Published - 1 Dec 2011
Event	23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011 - Boca Raton, FL, United States Duration: 7 Nov 2011 → 9 Nov 2011

Conference

Conference	23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011
Country/Territory	United States
City	Boca Raton, FL
Period	7/11/11 → 9/11/11

Bibliographical note

ACKNOWLEDGEMENT
This work is partly supported by the NSFC under grant No. 61005043, 61003157 and 60970045.

Keywords

Decomposition
Description logics
Inconsistency handling
Ontology diagnosis
OWL DL

Access to Document

10.1109/ICTAI.2011.104

Cite this

Du, J, Qi, G, Pan, JZ & Shen, YD 2011, A decomposition-based approach to OWL DL ontology diagnosis. in Proceedings - 2011 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011., 6103395, pp. 659-664, 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, United States, 7/11/11. https://doi.org/10.1109/ICTAI.2011.104

@inproceedings{7737ee6a9f724696af1aa1801a3efcb7,

title = "A decomposition-based approach to OWL DL ontology diagnosis",

abstract = "Computing all diagnoses of an inconsistent ontology is important in ontology-based applications. However, the number of diagnoses can be very large. It is impractical to enumerate all diagnoses before identifying the target one to render the ontology consistent. Hence, we propose to represent all diagnoses by multiple sets of partial diagnoses, where the total number of partial diagnoses can be small and the target diagnosis can be directly retrieved from these partial diagnoses. We also propose methods for computing the new representation of all diagnoses in an OWL DL ontology. Experimental results show that computing the new representation of all diagnoses is much easier than directly computing all diagnoses.",

keywords = "Decomposition, Description logics, Inconsistency handling, Ontology diagnosis, OWL DL",

author = "Jianfeng Du and Guilin Qi and Pan, {Jeff Z.} and Shen, {Yi Dong}",

note = "ACKNOWLEDGEMENT This work is partly supported by the NSFC under grant No. 61005043, 61003157 and 60970045.; 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011 ; Conference date: 07-11-2011 Through 09-11-2011",

year = "2011",

month = dec,

day = "1",

doi = "10.1109/ICTAI.2011.104",

language = "English",

isbn = "9780769545967",

pages = "659--664",

booktitle = "Proceedings - 2011 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011",

}

TY - GEN

T1 - A decomposition-based approach to OWL DL ontology diagnosis

AU - Du, Jianfeng

AU - Qi, Guilin

AU - Pan, Jeff Z.

AU - Shen, Yi Dong

N1 - ACKNOWLEDGEMENT This work is partly supported by the NSFC under grant No. 61005043, 61003157 and 60970045.

PY - 2011/12/1

Y1 - 2011/12/1

N2 - Computing all diagnoses of an inconsistent ontology is important in ontology-based applications. However, the number of diagnoses can be very large. It is impractical to enumerate all diagnoses before identifying the target one to render the ontology consistent. Hence, we propose to represent all diagnoses by multiple sets of partial diagnoses, where the total number of partial diagnoses can be small and the target diagnosis can be directly retrieved from these partial diagnoses. We also propose methods for computing the new representation of all diagnoses in an OWL DL ontology. Experimental results show that computing the new representation of all diagnoses is much easier than directly computing all diagnoses.

AB - Computing all diagnoses of an inconsistent ontology is important in ontology-based applications. However, the number of diagnoses can be very large. It is impractical to enumerate all diagnoses before identifying the target one to render the ontology consistent. Hence, we propose to represent all diagnoses by multiple sets of partial diagnoses, where the total number of partial diagnoses can be small and the target diagnosis can be directly retrieved from these partial diagnoses. We also propose methods for computing the new representation of all diagnoses in an OWL DL ontology. Experimental results show that computing the new representation of all diagnoses is much easier than directly computing all diagnoses.

KW - Decomposition

KW - Description logics

KW - Inconsistency handling

KW - Ontology diagnosis

KW - OWL DL

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

U2 - 10.1109/ICTAI.2011.104

DO - 10.1109/ICTAI.2011.104

M3 - Published conference contribution

AN - SCOPUS:84855777587

SN - 9780769545967

SP - 659

EP - 664

BT - Proceedings - 2011 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011

T2 - 23rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2011

Y2 - 7 November 2011 through 9 November 2011

ER -

A decomposition-based approach to OWL DL ontology diagnosis

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this