A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
复制标题
DOI：
10.1007/978-3-540-77688-8_3
复制
发表时间：
2006-12
期刊：
影响因子：
--
通讯作者：
Sik Chun Lam;D. Sleeman;Jeff Z. Pan;W. Vasconcelos
中科院分区：
文献类型：
--
作者：
Sik Chun Lam;D. Sleeman;Jeff Z. Pan;W. Vasconcelos
在现实世界的本体应用中，处理不一致的能力和评估解决不一致的可能解决方案的影响是至关重要的。常用的方法要么识别最小不可满足子本体，要么识别最大可满足子本体。然而，很少有工作涉及重写本体论的问题；不清楚应该修复哪些公理或公理的哪些部分，也不清楚如何修复这些公理。在本文中，我们通过提出一种解决不可满足本体的方法来解决这些限制，该方法是细粒度的，因为它允许改变部分公理。我们对Baader和Hollunderd最先提出的公理跟踪技术进行了修正，以跟踪问题公理的哪些部分导致了不可满足性。此外，我们还开发了一个工具来支持本体用户重写有问题的公理。为了最大限度地减少变更的影响，防止意外的附带损失，有害和有益的变更都会被识别并报告给用户。最后，我们对我们的交互式调试工具进行了评估，并在实践中演示了它的适用性。
The ability to deal with inconsistencies and to evaluate the impact of possible solutions for resolving inconsistencies are of the utmost importance in real world ontology applications. The common approaches either identify the minimally unsatisfiable sub-ontologies or the maximally satisfiable sub-ontologies. However there is little work which addresses the issue of rewriting the ontology; it is not clear which axioms or which parts of axioms should be repaired, nor how to repair those axioms. In this paper, we address these limitations by proposing an approach to resolving unsatisfiable ontologies which is fine-grained in the sense that it allows parts of axioms to be changed. We revise the axiom tracing technique first proposed by Baader and Hollunder, so as to track which parts of the problematic axioms cause the unsatisfiability. Moreover, we have developed a tool to support the ontology user in rewriting problematic axioms. In order to minimise the impact of changes and prevent unintended entailment loss, both harmful and helpful changes are identified and reported to the user. Finally we present an evaluation of our interactive debugging tool and demonstrate its applicability in practice.