链式桥规则导致deD3L知识传播及推理【精选文档】.pdfVIP

第 37卷 第 12期 计 算 机 学 报 Vo1．37 NO．12 2014年 12月 CHINESEJOURNALOFCoMPUTERS Dec．2014 链式桥规则导致的D3L知识传播及推理 赵晓非”… 田东平 史颖欢。 史忠植∞ ”(天津工业大学计算机科 学与软件学 院 天津 300387) z’(南京大学计算机软件新技术国家重点实验室 南京 210023) (中国科学院计算技术研究所智能信 息处理重点实验室 北京 100190) 摘 要 作为分布式、模块化本体的逻辑基础 ，分布式动态描述逻辑 (DaL)使得通过有 向语义映射连接的多个动态 描述逻辑本体之上的推理成为可能．文中针对复合桥规则的知识传播进行了研究．作者发现当桥规则构成合取链 的情况下，D3L的原始语义不能保证本体元素的局部语义关系正确传播到 目标本体．通过引入合取映射桥规则，作 者对 D3L进行 了扩展 ．由于对合取映射对应 的 目标元素属性进行 了约束 ，新 的桥规则可 以支持局部语义关系在分 布式本体间的正确传播 ，并且不改变D3L的原始属性．最后提出了合取映射桥规则到传统桥规则的转换语义，并证 明了基于该语义的Tableaux推理算法的正确性．扩展后的D3L更好地实现了在本体间导入和重用知识的思想 ，因 此可以为语义 web提供较完备的逻辑基础． 关键词 分布式动态描述逻辑(D3L)；知识传播 ；合取映射 ；链式桥规则 中图法分类号 TP18 DOI号 10．3724／SP．J．1016．2014．02419 KnowledgePropagationandReasoningInducedbyBridgeRuleChainsinD3L ZHAO Xiao—Fei ·。。 TIAN Dong—Ping。 SHIYing—Huan。 SHIZhong—Zhi。 )(SchoolofComputerScienceandSoftwareEngineering，TianjinPolytechnicUniversity，Tianjin 300387) (StateKeyLaboratoryforNovelSoftwareTechnology，NanjingUniversity，Nanjing 210023) 。’(KeyLaboratoryofIntelligentInformationProcessing，InstituteofComputingTechnology，ChineseAcademyofScineces，Beijing 100190) Abstract Asa logicalfoundation fordistributedandmodularontology，DistributedDynamic DescriptionLogics(D3L)enablesreasoningwithmultipleontologiesinterconnectedbydirectional semanticmapping (bridgerules)．Inthispaper，westudyknowledgepropagation in thecaseof complexbridgerulesexist．W efindthelocalsemanticsofontologyelementscannotalwayspropa— gatestothetargetontologiesifbridgerulesform conjunctivechain．Byinducingconjunctivemapping bridgerules，wemodify theoriginalsemanticsofD3L in orderto copewith thismodeling discrepancy．IfCOnju‘nctivebridgerulesareusing insteadoft