期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于关联解释的术语集MUPS求解方法
1
作者
崔仙姬
欧阳丹彤
+1 位作者
何加亮
高健
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2018年第1期56-63,共8页
本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语...
本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语集,从待测术语集中将与不可满足概念语法相关的公理集合加入到不可满足子术语集,一定程度上减少了不相关公理的加入,可以有效减少待测术语集规模.进一步地,将术语集的极小不可满足保持子术语集(minimal unsatisfiability-preserving sub-TBox,MUPS)的求解过程看作是关键公理的查找过程.提出关联解释的定义,并通过构造术语集的关联解释方式确定关键公理.该过程一定程度上减少了推理机调用次数并简化了每次调用用于找出问题时的推理任务.实验部分将各类优化策略应用于黑盒算法并进行了比较.实验结果表明,该方法能够有效提高术语集MUPS求解效率.
展开更多
关键词
描述逻辑
本体调试
极小不可满足保持子术语集
关联解释
在线阅读
下载PDF
职称材料
本体推理机求解Mups的性能评测研究
被引量：
5
2
作者
欧阳丹彤
张瑜
叶育鑫
《计算机学报》
EI
CSCD
北大核心
2017年第6期1422-1439,共18页
求解极小不可满足保持子术语集(Mups)是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出发,定义语义依赖度、语义簇、依赖度分布3个指标反映本体术语集的复杂程度;通过讨论不可满足概念数目...
求解极小不可满足保持子术语集(Mups)是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出发,定义语义依赖度、语义簇、依赖度分布3个指标反映本体术语集的复杂程度;通过讨论不可满足概念数目、冲突公理集基数和冲突公理基数对Mups问题求解难易的影响,定义冲突公理集最大基数和冲突公理最大基数两个指标反映不一致本体术语集的数据复杂程度;基于这些复杂性指标,设计针对Mups问题的不一致本体数据标准测试集(Mups Benchmark,MupsBen)来评测Pellet、Hermit、FaCT++、JFact和TrOWL这5种推理机在黑盒算法下求解Mups的性能.评测实验显示,所定义的复杂度指标能够有效反映Mups求解问题的数据复杂程度.对于特定推理机,其性能随测试数据的结构复杂程度的增大而降低;对于不同推理机,由于其内在推理机制与优化策略的差别,在不同复杂度指标下表现出不同的性能差异.
展开更多
关键词
不一致
术语
集
极小不可满足保持子术语集
标准检查程序
MupsBen
人工智能
在线阅读
下载PDF
职称材料
题名
基于关联解释的术语集MUPS求解方法
1
作者
崔仙姬
欧阳丹彤
何加亮
高健
机构
大连民族大学信息与通信工程学院
符号计算与知识工程教育部重点实验室(吉林大学)
吉林大学计算机科学与技术学院
大连海事大学信息科学技术学院
出处
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2018年第1期56-63,共8页
基金
国家自然科学基金(61672261
61502199
+3 种基金
61402070)
辽宁省自然科学基金(2015020023)
符号计算与知识工程教育部重点实验室开放课题(93K172016k02)
大连民族大学自主基金(DC201501060)
文摘
本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语集,从待测术语集中将与不可满足概念语法相关的公理集合加入到不可满足子术语集,一定程度上减少了不相关公理的加入,可以有效减少待测术语集规模.进一步地,将术语集的极小不可满足保持子术语集(minimal unsatisfiability-preserving sub-TBox,MUPS)的求解过程看作是关键公理的查找过程.提出关联解释的定义,并通过构造术语集的关联解释方式确定关键公理.该过程一定程度上减少了推理机调用次数并简化了每次调用用于找出问题时的推理任务.实验部分将各类优化策略应用于黑盒算法并进行了比较.实验结果表明,该方法能够有效提高术语集MUPS求解效率.
关键词
描述逻辑
本体调试
极小不可满足保持子术语集
关联解释
Keywords
description logics
ontology debugging
minimal unsatisfiability－preserving sub－TBox（MUPS）
associate interpretation
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
本体推理机求解Mups的性能评测研究
被引量：
5
2
作者
欧阳丹彤
张瑜
叶育鑫
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2017年第6期1422-1439,共18页
基金
国家自然科学基金(61133011
41172294
+2 种基金
61170092
61272208)
吉林省科技发展计划(201201011)资助~~
文摘
求解极小不可满足保持子术语集(Mups)是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出发,定义语义依赖度、语义簇、依赖度分布3个指标反映本体术语集的复杂程度;通过讨论不可满足概念数目、冲突公理集基数和冲突公理基数对Mups问题求解难易的影响,定义冲突公理集最大基数和冲突公理最大基数两个指标反映不一致本体术语集的数据复杂程度;基于这些复杂性指标,设计针对Mups问题的不一致本体数据标准测试集(Mups Benchmark,MupsBen)来评测Pellet、Hermit、FaCT++、JFact和TrOWL这5种推理机在黑盒算法下求解Mups的性能.评测实验显示,所定义的复杂度指标能够有效反映Mups求解问题的数据复杂程度.对于特定推理机,其性能随测试数据的结构复杂程度的增大而降低;对于不同推理机,由于其内在推理机制与优化策略的差别,在不同复杂度指标下表现出不同的性能差异.
关键词
不一致
术语
集
极小不可满足保持子术语集
标准检查程序
MupsBen
人工智能
Keywords
incoherent terminology
minimal unsatisfiability preserving sub-terminologies
benchmark
MupsBen
artificiall intelligence
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于关联解释的术语集MUPS求解方法
崔仙姬
欧阳丹彤
何加亮
高健
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
2
本体推理机求解Mups的性能评测研究
欧阳丹彤
张瑜
叶育鑫
《计算机学报》
EI
CSCD
北大核心
2017
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
