期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向异构语义映射的D3L转换算法及其性质研究
被引量：
1
1
作者
赵晓非
史忠植
冯志勇
《计算机研究与发展》
EI
CSCD
北大核心
2018年第12期2715-2724,共10页
桥规则为分布式动态描述逻辑(distributed dynamic description logics,D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了...
桥规则为分布式动态描述逻辑(distributed dynamic description logics,D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题.
展开更多
关键词
分布式动态描述逻辑
异构桥规则
正则性
集中式推理
计算复杂度
在线阅读
下载PDF
职称材料
题名
面向异构语义映射的D3L转换算法及其性质研究
被引量：
1
1
作者
赵晓非
史忠植
冯志勇
机构
天津工业大学计算机科学与软件学院
中国科学院计算技术研究所智能信息处理重点实验室
天津大学计算机科学与技术学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2018年第12期2715-2724,共10页
基金
国家"九七三"重点基础研究发展计划基金项目(2013CB329502)
国家自然科学基金项目(61035003)
+1 种基金
江苏省计算机信息处理技术重点实验室开放基金项目(KJS1737)
中国博士后科学基金项目(2018M631740)~~
文摘
桥规则为分布式动态描述逻辑(distributed dynamic description logics,D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题.
关键词
分布式动态描述逻辑
异构桥规则
正则性
集中式推理
计算复杂度
Keywords
distributed dynamic description logics (D3L)
heterogeneous bridge rules
regularity
centralized reasoning
computation complexity
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向异构语义映射的D3L转换算法及其性质研究
赵晓非
史忠植
冯志勇
《计算机研究与发展》
EI
CSCD
北大核心
2018
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
