A Decomposition-Based Approach to OWL DL Ontology Diagnosis

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

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

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 languageEnglish
Title of host publication2011 IEEE 23rd International Conference on Tools with Artificial Intelligence
EditorsTaghi M. Khoshgoftaar, Xingquan Zhu
PublisherInstitute of Electrical and Electronics Engineers
Pages659-664
Number of pages6
ISBN (Electronic)978-0-7695-4596-7
ISBN (Print)978-1-4577-2068-0
DOIs
Publication statusPublished - 15 Dec 2011
Event23rd IEEE International Conference on Tools with Artificial Intelligence - Boca Raton, United States
Duration: 7 Nov 20119 Nov 2011
Conference number: 23

Publication series

NameInternational Conference on Tools for Artificial Intelligence (ICTAI)
PublisherIEEE
ISSN (Print)1082-3409
ISSN (Electronic)2375-0197

Conference

Conference23rd IEEE International Conference on Tools with Artificial Intelligence
Abbreviated titleICTAI 2011
Country/TerritoryUnited States
CityBoca Raton
Period7/11/119/11/11

Keywords / Materials (for Non-textual outputs)

  • ontology diagnosis
  • description logics
  • OWL DL
  • decomposition
  • inconsistency handling

Fingerprint

Dive into the research topics of 'A Decomposition-Based Approach to OWL DL Ontology Diagnosis'. Together they form a unique fingerprint.

Cite this