A Decomposition-Based Approach to OWL DL Ontology Diagnosis

@article{Du2011ADA,
  title={A Decomposition-Based Approach to OWL DL Ontology Diagnosis},
  author={Jianfeng Du and Guilin Qi and Jeff Z. Pan and Yi-Dong Shen},
  journal={2011 IEEE 23rd International Conference on Tools with Artificial Intelligence},
  year={2011},
  pages={659-664}
}
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… CONTINUE READING