D3L（ccy）的属性及分布式Tableaux推理算法的研究
文献类型：期刊论文
| 作者 | 赵晓非2; 田东平1; 张文波1; 史忠植1 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2014 |
| 卷号 | 51.0期号:003页码:570 |
| 关键词 | 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 distributed dynamic description logics （D3L） |
| ISSN号 | 1000-1239 |
| 英文摘要 | 分步式动态描述逻辑（distributed dynamic description logics,D3L）很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑（dynamic description logics,DDL）本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑（P-DL）的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L（ccy）的属性及分布式推理理论.证明了该描述逻辑的单调性（D3L（ccy）是一种单调逻辑）、有向性（桥规则的影响具有方向性）及冲突局部性（局部本体的冲突不会传播到整个分布式系统）；通过对原有Tableaux推理算法的扩展,为D3L（ccy）提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/27200]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。