Institute of Computing Technology, Chinese Academy IR
| 面向异构语义映射的D3L转换算法及其性质研究 | |
| 赵晓非1; 史忠植2; 冯志勇3 | |
| 2018 | |
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| 卷号 | 55.0期号:012页码:2715 |
| 摘要 | 桥规则为分布式动态描述逻辑(distributed dynamic description logics, D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题. |
| 关键词 | 分布式动态描述逻辑 异构桥规则 正则性 集中式推理 计算复杂度 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/34914 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [赵晓非]的文章 |
| [史忠植]的文章 |
| [冯志勇]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [赵晓非]的文章 |
| [史忠植]的文章 |
| [冯志勇]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [赵晓非]的文章 |
| [史忠植]的文章 |
| [冯志勇]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论