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 | 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence |
| Editors | Taghi M. Khoshgoftaar, Xingquan Zhu |
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 659-664 |
| Number of pages | 6 |
| ISBN (Electronic) | 978-0-7695-4596-7 |
| ISBN (Print) | 978-1-4577-2068-0 |
| DOIs | |
| Publication status | Published - 15 Dec 2011 |
| Event | 23rd IEEE International Conference on Tools with Artificial Intelligence - Boca Raton, United States Duration: 7 Nov 2011 → 9 Nov 2011 Conference number: 23 |
Publication series
| Name | International Conference on Tools for Artificial Intelligence (ICTAI) |
|---|---|
| Publisher | IEEE |
| ISSN (Print) | 1082-3409 |
| ISSN (Electronic) | 2375-0197 |
Conference
| Conference | 23rd IEEE International Conference on Tools with Artificial Intelligence |
|---|---|
| Abbreviated title | ICTAI 2011 |
| Country/Territory | United States |
| City | Boca Raton |
| Period | 7/11/11 → 9/11/11 |
Keywords / Materials (for Non-textual outputs)
- ontology diagnosis
- description logics
- OWL DL
- decomposition
- inconsistency handling