1(天津工业大学计算机科学与软件学院 天津 300387);2(中国科学院计算技术研究所智能信息处理重点实验室 北京 100190);3(天津大学计算机科学与技术学院 天津 300072) (zhaoxiaofei1978@hotmail.com)
出版日期:
2018-12-01基金资助:
国家“九七三”重点基础研究发展计划基金项目(2013CB329502);国家自然科学基金项目(61035003);江苏省计算机信息处理技术重点实验室开放基金项目(KJS1737);中国博士后科学基金项目(2018M631740)Transformation Algorithm and Its Properties for D3L with Heterogeneous Semantic Mapping
Zhao Xiaofei1,2,3, Shi Zhongzhi2, Feng Zhiyong31(School of Computer Science and Software Engineering, Tianjin Polytechnic University, Tianjin 300387);2(Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190);3(School of Computer Science and Technology, Tianjin University, Tianjin 300072)
Online:
2018-12-01摘要/Abstract
摘要: 桥规则为分布式动态描述逻辑(distributed dynamic description logics, D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题.
参考文献
相关文章 6
[1] | 徐晓,丁世飞,孙统风,廖红梅. 基于网格筛选的大规模密度峰值聚类算法[J]. 计算机研究与发展, 2018, 55(11): 2419-2429. |
[2] | 赵晓非, 田东平, 张文波, 史忠植,. D3L(ccy)的属性及分布式Tableaux推理算法的研究[J]. 计算机研究与发展, 2014, 51(3): 570-579. |
[3] | 王竹晓, 胡 宏, 陈立民, 史忠植,. 动态描述逻辑推理的并行计算技术[J]. , 2011, 48(12): 2317-2325. |
[4] | 江 华. 命题μ-演算全局模型检测的高效算法设计[J]. , 2010, 47(8): 1424-1433. |
[5] | 蒋运承, 史忠植, 汤 庸, 王 驹,. 一种分布式动态描述逻辑[J]. , 2006, 43(9): 1603-1608. |
[6] | 柳 毅, 王育民,. 基于移动代理的一个鲁棒路由协议[J]. , 2005, 42(12): 2106-2110. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3834