Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths
Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths
复制标题
基于不可满足依赖路径的玻璃盒调试算法
DOI：
10.1109/access.2017.2753381
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Ye Yuxin
中科院分区：
文献类型：
--
作者：
Zhang Yu;Ouyang Dantong;Ye Yuxin
使用玻璃盒调试方法计算不可满足概念的最小不可满足性保留子TBox（MUPS）是本体调试中的关键推理服务。然而，玻璃盒方法的局限性在于它很容易陷入不必要的扩展，特别是在非确定性扩展的过程中。解决这个问题的一个有效方法是预先选择一组涉及不可满足性的相关公理。为此，我们提出了一种基于不可满足依赖路径的优化技术，以避免不必要的扩展。其基本思想是根据三种基本冲突模式构造不可满足的依赖路径，然后从不可满足的依赖路径中获取冲突集合。据此，可以找到所有不可满足的概念，并可以在冲突集的基础上计算它们的MUPS。我们的实验结果表明，所提出的方法在真实的大规模非相干 TBox 上效果良好。
Calculating the minimal unsatisfiability-preserving sub-TBoxes (MUPS) for an unsatisfiable concept using the glass-box debugging method is a key reasoning service in ontology debugging. However, the glass-box method is limited as it can easily fall into an unnecessary expansion, especially in the process of non-deterministic expansion. An efficient method to solve this problem is to pre-select a set of relevant axioms involved in the unsatisfiability. For this purpose, we propose an optimization technique based on the unsatisfiable dependent path to avoid unnecessary expansion. The basic idea is to construct unsatisfiable dependent paths based on three basic conflict patterns and then obtain a conflict set from the unsatisfiable dependent paths. Accordingly, all the unsatisfiable concepts can be found and their MUPS can be calculated on the basis of the conflict set. Our experimental results show that the proposed method works well on real large-scale incoherent TBoxes.
登录
查看更多内容
DOI：
10.1007/978-3-540-76298-0_20
发表时间：
2007-11
期刊：
--
影响因子：
--
作者：
Aditya Kalyanpur;B. Parsia;M. Horridge;E. Sirin
通讯作者：
Aditya Kalyanpur;B. Parsia;M. Horridge;E. Sirin
DOI：
10.1007/978-3-540-77688-8_3
发表时间：
2006-12
期刊：
2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06)
影响因子：
--
作者：
Sik Chun Lam;D. Sleeman;Jeff Z. Pan;W. Vasconcelos
通讯作者：
Sik Chun Lam;D. Sleeman;Jeff Z. Pan;W. Vasconcelos
DOI：
--
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Aditya Kalyanpur
通讯作者：
Aditya Kalyanpur
DOI：
--
发表时间：
2010
期刊：
--
影响因子：
--
作者：
M. Horridge;B. Parsia;U. Sattler
通讯作者：
M. Horridge;B. Parsia;U. Sattler
DOI：
--
发表时间：
2010
期刊：
2001 IEEE EMC International Symposium. Symposium Record. International Symposium on Electromagnetic Compatibility (Cat. No.01CH37161)
影响因子：
--
作者：
Kodylan Moodley
通讯作者：
Kodylan Moodley