链式桥规则导致的D3L知识传播及推理
文献类型:期刊论文
作者 | 赵晓非2; 田东平1; 史颖欢3; 史忠植1 |
刊名 | 计算机学报
![]() |
出版日期 | 2014 |
卷号 | 37.0期号:012页码:2419 |
关键词 | 分布式动态描述逻辑(D3L) 知识传播 合取映射 链式桥规则 |
ISSN号 | 0254-4164 |
英文摘要 | 作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义web提供较完备的逻辑基础. |
语种 | 英语 |
源URL | [http://119.78.100.204/handle/2XEOYT63/32991] ![]() |
专题 | 中国科学院计算技术研究所期刊论文_中文 |
作者单位 | 1.中国科学院计算技术研究所 2.天津工业大学 3.南京大学 |
推荐引用方式 GB/T 7714 | 赵晓非,田东平,史颖欢,等. 链式桥规则导致的D3L知识传播及推理[J]. 计算机学报,2014,37.0(012):2419. |
APA | 赵晓非,田东平,史颖欢,&史忠植.(2014).链式桥规则导致的D3L知识传播及推理.计算机学报,37.0(012),2419. |
MLA | 赵晓非,et al."链式桥规则导致的D3L知识传播及推理".计算机学报 37.0.012(2014):2419. |
入库方式: OAI收割
来源:计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。