D3L（ccy）的属性及分布式Tableaux推理算法的研究

	D3L（ccy）的属性及分布式Tableaux推理算法的研究
	赵晓非 1; 田东平 2; 张文波 2; 史忠植 2
	2014
发表期刊	计算机研究与发展
ISSN	1000-1239
卷号	51.0 期号:003 页码:570
摘要	分步式动态描述逻辑（distributed dynamic description logics,D3L）很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑（dynamic description logics,DDL）本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑（P-DL）的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L（ccy）的属性及分布式推理理论.证明了该描述逻辑的单调性（D3L（ccy）是一种单调逻辑）、有向性（桥规则的影响具有方向性）及冲突局部性（局部本体的冲突不会传播到整个分布式系统）；通过对原有Tableaux推理算法的扩展,为D3L（ccy）提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础.
关键词	分布式动态描述逻辑知识传播组合一致性分布式推理 Tableaux推理算法 distributed dynamic description logics （D3L）
语种	英语
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/27201
专题	中国科学院计算技术研究所期刊论文_中文
作者单位	1.天津工业大学 2.中国科学院计算技术研究所
推荐引用方式 GB/T 7714	赵晓非,田东平,张文波,等. D3L（ccy）的属性及分布式Tableaux推理算法的研究[J]. 计算机研究与发展,2014,51.0(003):570.
APA	赵晓非,田东平,张文波,&史忠植.(2014).D3L（ccy）的属性及分布式Tableaux推理算法的研究.计算机研究与发展,51.0(003),570.
MLA	赵晓非,et al."D3L（ccy）的属性及分布式Tableaux推理算法的研究".计算机研究与发展 51.0.003(2014):570.