A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
复制标题
DL-Lite 中基于距离的不一致性容忍推理和不一致性测量框架
DOI：
10.1016/j.ijar.2016.08.003
复制
发表时间：
2017-10
影响因子：
3.9
通讯作者：
冯志勇
中科院分区：
文献类型：
--
作者：
张小旺;Wang Kewen;Wang Zhe;Ma Yue;漆桂林;冯志勇
在本文中，我们提出了一个基于距离的框架DL-Lite的概念的基础上的功能。在这个框架内，我们提出了一个基于距离的次协调语义DL-Lite，即使从不一致的知识库，我们也可以合理地得出有意义的结论，并开发了一个基于距离的不一致性度量DL-Lite提供更多的信息度量，可以告诉公理之间的差异，导致不一致的知识和不一致的知识。此外，我们研究了几个重要的逻辑属性（例如，一致性保持、闭包一致性、分裂性等）基于新的语义对蕴涵关系进行了分析，并在DL-Lite的非单调推理中显示了其优势。最后，我们证明了我们的两个基于距离的不一致性测度是基本的不一致性测度，并且具有自由公理独立性和不一致性优势等性质。
In this paper, we present a distance-based framework for DL-Lite based on the notion of features. Within this framework, we propose a distance-based paraconsistent semantics for DL-Lite where meaningful conclusions can be rationally drawn even from an inconsistent knowledge base and we develop a distance-based inconsistency measurement for DL-Lite to provide more informative metrics which can tell the differences between axioms causing inconsistency and among inconsistent knowledge. Furthermore, we investigate several important logical properties (e.g., consistency preservation, closure consistency, splitting property etc.) of the entailment relation based on the new semantics and show its advantages in non-monotonic reasoning for DL-Lite. Finally, we show that our two distance-based inconsistency measures are basic inconsistency measures where some good properties hold such as Free Axiom Independence and Dominance of inconsistency etc.
登录
查看更多内容
DOI：
10.1145/191246.191283
发表时间：
1994-11
期刊：
--
影响因子：
--
作者：
Alexander Borgida
通讯作者：
Alexander Borgida
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：
--
发表时间：
1998-06
期刊：
--
影响因子：
--
作者：
S. Konieczny;R. Pérez
通讯作者：
S. Konieczny;R. Pérez