Debugging OWL Ontologies - A Reality Check
Debugging OWL Ontologies - A Reality Check
复制标题
调试 OWL 本体 - 现实检查
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
H. Stuckenschmidt
中科院分区：
文献类型：
--
作者：
H. Stuckenschmidt
选择描述逻辑作为网络本体语言基础的论据之一是能够通过逻辑推理支持复杂本体的开发。最近，在开发用于调试错误本体的先进方法方面已经做了重要的工作，这些方法超出了纯粹识别不一致的范围。虽然这些方法的理论已被广泛研究，但很少有人关注这些方法在实践中的应用。在本文中，我们评估了用于调试描述逻辑本体的高级方法的现有实现。我们表明，大多数现有系统在可扩展性方面都存在严重问题，但令人惊讶的是，在某些测试集上结果的正确性方面也存在问题。我们的结论是，需要进一步改进现有系统，特别是在弥合调试本体理论与实践之间的现有差距方面。
One of the arguments for choosing description logics as the basis for the 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 advanced methods for debugging description logic ontologies. We show that most existing systems suffer from serious problems with respect to scalability but surprisingly 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 systems in particular with respect to bridging the existing gap between theory and practice of debugging ontologies.