Debugging OWL Ontologies - A Reality Check

2003 Conference on Selective Catalytic Reduction and Non-Catalytic Reduction for NOx Control

Heiner Stuckenschmidt

Others  :  http://CEUR-WS.org/Vol-359/Paper-1.pdf
PID  :  3067

来源: CEUR

【 摘 要 】

One of the arguments for choosing description logics as the basis forthe Web Ontology Language is the ability to support the development of complex ontologies through logical reasoning. Recently, significant work has been done on developing advanced methods for debugging erroneous ontologies that go beyond the pure identification of inconsistencies. While the theory of these methods has been studied extensively little attention has been paid to the application of these Methods in practice. In this paper, we evaluate existing implementations of ad- vanced methods for debugging description logic ontologies. We show that most existing systems suffer from serious problems with respect to scalability but sur- prisingly enough also with respect to the correctness of the results on certain test sets. We conclude that there is a need for further improvements of existing sys- tems in particular with respect to bridging the existing gap between theory and practice of debugging ontologies.