Forgetting for distance-based reasoning and repair in DL-Lite
Forgetting for distance-based reasoning and repair in DL-Lite
复制标题
DL-Lite 中基于距离的推理和修复的遗忘
DOI：
10.1016/j.knosys.2016.06.020
复制
发表时间：
2016-09
影响因子：
8.8
通讯作者：
张小旺
中科院分区：
文献类型：
--
作者：
张小旺
在本文中，我们提出了一种基于遗忘的方法来处理DL-Lite中的不一致性。我们提出的方法不仅能够刻画基于距离的推理，即使从不一致的DL-Lite知识库中也能合理地得出有意义的结论，而且可以恢复DL-Lite知识库的一致性。我们首先通过扩展DL-Lite中的谓词遗忘来提出DL-Lite的遗忘向量，并通过计算最小碰集得到需要遗忘的谓词。此外，我们还利用Reiter的HS-树方法开发了计算这些谓词的算法，并分析了这些算法的计算复杂性。最后，我们实现了我们提出的算法，并在一致和不一致的本体上对它们进行了评估。此外，还讨论了向量遗忘在隐私保护中的一些应用。
In this paper, we present a forgetting-based approach to handling inconsistency in DL-Lite. Our proposed approach cannot only characterize distance-based reasoning, which is proven to rationally draw meaningful conclusions even from inconsistent DL-Lite knowledge bases but also recovery the consistency of DL-Lite knowledge bases. We first present vectors forgetting for DL-Lite by extending predicates forgetting in DL-Lite and show the predicates to be forgotten which are obtained by computing minimal hitting sets. Moreover, we develop algorithms to compute those predicates by employing Reiter’s HS-tree method and then analyze the computational complexity of those proposed algorithms. Finally, we implement our proposed algorithms and evaluate them on both consistent and inconsistent ontologies. Besides, we discuss some applications of vectors forgetting in privacy protection.
登录
查看更多内容
DOI：
10.1609/aaai.v28i1.8868
发表时间：
2014-06
期刊：
--
影响因子：
--
作者：
Zhiqiang Zhuang;Zhe Wang;Kewen Wang;G. Qi
通讯作者：
Zhiqiang Zhuang;Zhe Wang;Kewen Wang;G. Qi
影响因子：
0.5
作者：
通讯作者：
--
DOI：
10.1016/j.knosys.2013.08.021
发表时间：
2013-11
期刊：
Knowl. Based Syst.
影响因子：
--
作者：
M. Horridge;Samantha Bail;B. Parsia;U. Sattler
通讯作者：
M. Horridge;Samantha Bail;B. Parsia;U. Sattler
DOI：
10.1613/jair.813
发表时间：
2011-06
期刊：
ArXiv
影响因子：
--
作者：
U. Straccia
通讯作者：
U. Straccia
DOI：
10.1609/aaai.v24i1.7593
发表时间：
2010-07
期刊：
Proceedings of the AAAI Conference on Artificial Intelligence
影响因子：
--
作者：
Zhe Wang;Kewen Wang;R. Topor
通讯作者：
Zhe Wang;Kewen Wang;R. Topor