链式桥规则导致的d3l知识传播及推理 knowledge propagation and reasoning induced by bridge rule chains in d3l.pdfVIP

下载本文档

1
0
约 8页
2017-09-10 发布于上海
举报
版权申诉

链式桥规则导致的d3l知识传播及推理 knowledge propagation and reasoning induced by bridge rule chains in d3l.pdf

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

链式桥规则导致的d3l知识传播及推理 knowledge propagation and reasoning induced by bridge rule chains in d3l

第37卷第12期计算机学报 v01．37No．12 2014年12月 CHINESE OFCOMPUTERS Dee．2014 JOURNAL 链式桥规则导致的D3L知识传播及推理赵晓非”’2h勒田东平3’ 史颖欢2’ 史忠植3’ ”(天津工业大学计算机科学与软件学院天津300387) 2’(南京大学计算机软件新技术国家重点实验室南京210023) 3’(中国科学院计算技术研究所智能信息处理重点实验室北京100190) 摘要作为分布式、模块化本体的逻辑基础，分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能．文中针对复合桥规则的知识传播进行了研究．作者发现当桥规则构成合取链的情况下，D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体．通过引入合取映射桥规则，作者对D3L进行了扩展．由于对合取映射对应的目标元素属性进行了约束，新的桥规则可以支持局部语义关系在分布式本体问的正确传播，并且不改变D3L的原始属性．最后提出了合取映射桥规则到传统桥规则的转换语义，并证明了基于该语义的Tableaux推理算法的正确性．扩展后的D3L更好地实现了在本体问导人和重用知识的思想，因此可以为语义Web提供较完备的逻辑基础．关键词分布式动态描述逻辑(D3L)；知识传播；合取映射；链式桥规则中图法分类号TPl8 DOI号i0．3724／SP．J．1016．2014．02419 and Induced Rule inD3L KnowledgePropagation Chains ReasoningbyBridge ZHAOXiao—Feil’’2’3’TIAN SHI SHI Dong—Pin93’Ying—Huan2’Zhong—Zhi3’ ”(School Scienceand of Softtoare 300387) Computer Engineering，TianjinPolytechnicUniversity，Tianjin 2’(State Novel for SoftMre 210023) KeyLaboratory Technology，NanjingUniversity，Nanjing ”(KeyLaboratoryof 100190) IntelligentInformationProcessing，InstituteofComputingTechnology，ChineseAcademyofSciences，Beijing AbstractAsa foundationfordistributedand modular logical ontology，DistributedDynamic with interconnecteddirectional DescriptionLogics(D3L)enablesreasoni