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 | |
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 |
Keywords
- Decomposition
- Description logics
- Inconsistency handling
- Ontology diagnosis
- OWL DL