CSpace  > 中国科学院计算技术研究所期刊论文  > 中文
链式桥规则导致的D3L知识传播及推理
赵晓非1; 田东平2; 史颖欢3; 史忠植2
2014
发表期刊计算机学报
ISSN0254-4164
卷号37.0期号:012页码:2419
摘要作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义web提供较完备的逻辑基础.
关键词分布式动态描述逻辑(D3L) 知识传播 合取映射 链式桥规则
语种英语
文献类型期刊论文
条目标识符http://119.78.100.204/handle/2XEOYT63/32992
专题中国科学院计算技术研究所期刊论文_中文
作者单位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.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[赵晓非]的文章
[田东平]的文章
[史颖欢]的文章
百度学术
百度学术中相似的文章
[赵晓非]的文章
[田东平]的文章
[史颖欢]的文章
必应学术
必应学术中相似的文章
[赵晓非]的文章
[田东平]的文章
[史颖欢]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。