面向异构语义映射的D3L转换算法及其性质研究
文献类型：期刊论文
| 作者 | 赵晓非2; 史忠植1; 冯志勇3 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2018 |
| 卷号 | 55.0期号:012页码:2715 |
| 关键词 | 分布式动态描述逻辑 异构桥规则 正则性 集中式推理 计算复杂度 |
| ISSN号 | 1000-1239 |
| 英文摘要 | 桥规则为分布式动态描述逻辑(distributed dynamic description logics, D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/34913]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.天津工业大学 3.天津大学 |
| 推荐引用方式 GB/T 7714 | 赵晓非,史忠植,冯志勇. 面向异构语义映射的D3L转换算法及其性质研究[J]. 计算机研究与发展,2018,55.0(012):2715. |
| APA | 赵晓非,史忠植,&冯志勇.(2018).面向异构语义映射的D3L转换算法及其性质研究.计算机研究与发展,55.0(012),2715. |
| MLA | 赵晓非,et al."面向异构语义映射的D3L转换算法及其性质研究".计算机研究与发展 55.0.012(2018):2715. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。