检索结果-维普期刊中文期刊服务平台

本体推理机求解Mups的性能评测研究被引量：5: 1; 作者欧阳丹彤张瑜叶育鑫《计算机学报》 EI CSCD 北大核心 2017年第6期1422-1439,共18页; 求解极小不可满足保持子术语集(Mups)是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出发,定义语义依赖度、语义簇、依赖度分布3个指标反映本体术语集的复杂程度;通过讨论不可满足概念数目... 展开更多; 关键词不一致术语集极小不可满足保持子术语集标准检查程序 mupsBen 人工智能; 在线阅读下载PDF 职称材料

基于关联解释的术语集MUPS求解方法: 2; 作者崔仙姬欧阳丹彤 +1 位作者何加亮高健《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2018年第1期56-63,共8页; 本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语... 展开更多; 关键词描述逻辑本体调试极小不可满足保持子术语集关联解释; 在线阅读下载PDF 职称材料

一种在DL-Lite中计算本体最小不可满足保持子集的算法被引量：6: 3; 作者周丽平黄厚宽 +2 位作者漆桂林瞿有利季秋《计算机研究与发展》 EI CSCD 北大核心 2011年第12期2334-2342,共9页; 在本体工程中,寻找不可满足概念或角色的本体最小不可满足保持子集是一个重要的研究课题,因为它可以提供一些有用的信息用于处理本体的不一致任务,比如分析本体、调试本体、修改本体等.现有的方法主要面向推理复杂度很高的高表达能力描... 展开更多; 关键词语义WEB 描述逻辑 DL-Lite 本体 mups; 在线阅读下载PDF 职称材料

一种基于图的DL-Lite本体最小不可满足保持子集的计算方法被引量：2: 4; 作者付雪峰漆桂林张勇《电子学报》 EI CAS CSCD 北大核心 2016年第9期2040-2045,共6页; 演变中的本体常出现不一致性问题,这将导致标准推理失效.针对不一致性问题,最小不可满足保持子集能够提供本体中概念不可满足的解释.计算最小不可满足保持子集是本体工程中的一项重要的非标准推理任务,但多数计算方法须借助外部的推理机... 展开更多; 关键词本体描述逻辑不一致处理最小不可满足保持子集; 在线阅读下载PDF 职称材料

题名本体推理机求解Mups的性能评测研究被引量：5: 1; 作者欧阳丹彤张瑜叶育鑫; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室; 出处《计算机学报》 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 职称材料

题名基于关联解释的术语集MUPS求解方法: 2; 作者崔仙姬欧阳丹彤何加亮高健; 机构大连民族大学信息与通信工程学院符号计算与知识工程教育部重点实验室(吉林大学) 吉林大学计算机科学与技术学院大连海事大学信息科学技术学院; 出处《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2018年第1期56-63,共8页; 基金国家自然科学基金(61672261 61502199 +3 种基金 61402070) 辽宁省自然科学基金(2015020023) 大连民族大学自主基金(DC201501060); 文摘本体调试是人工智能中非标准推理任务之一,主要用于找出本体中导致逻辑冲突的解释并进行修改,对于本体工程具有重要意义.结合语法相关性与关联解释,提出一种术语集的极小不可满足子术语集求解方法.语法相关性用于递归扩展不可满足子术语集,从待测术语集中将与不可满足概念语法相关的公理集合加入到不可满足子术语集,一定程度上减少了不相关公理的加入,可以有效减少待测术语集规模.进一步地,将术语集的极小不可满足保持子术语集(minimal unsatisfiability-preserving sub-TBox,MUPS)的求解过程看作是关键公理的查找过程.提出关联解释的定义,并通过构造术语集的关联解释方式确定关键公理.该过程一定程度上减少了推理机调用次数并简化了每次调用用于找出问题时的推理任务.实验部分将各类优化策略应用于黑盒算法并进行了比较.实验结果表明,该方法能够有效提高术语集MUPS求解效率.; 关键词描述逻辑本体调试极小不可满足保持子术语集关联解释; Keywords description logics ontology debugging minimal unsatisfiability－preserving sub－tbox（mups） associate interpretation; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种在DL-Lite中计算本体最小不可满足保持子集的算法被引量：6: 3; 作者周丽平黄厚宽漆桂林瞿有利季秋; 机构北京交通大学计算机与信息技术学院北京北方计算中心东南大学计算机科学与工程学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2011年第12期2334-2342,共9页; 基金国家"九七三"重点基础研究发展计划基金项目(2007CB307100 2007CB307106) +1 种基金北京市科技计划基金项目(Z09050600910902); 文摘在本体工程中,寻找不可满足概念或角色的本体最小不可满足保持子集是一个重要的研究课题,因为它可以提供一些有用的信息用于处理本体的不一致任务,比如分析本体、调试本体、修改本体等.现有的方法主要面向推理复杂度很高的高表达能力描述逻辑(DL).针对低复杂度描述逻辑DL-Lite,通过分析DL-Lite中不可满足概念或角色所具有的特点,提出了一种有效地计算DL-Lite本体中不可满足概念或角色的本体最小不可满足保持子集的算法.最后将算法与当前最有代表性的算法进行了比较,结果表明所提出的算法对于DL-Lite本体来说是有效的.; 关键词语义WEB 描述逻辑 DL-Lite 本体 mups; Keywords semantic Web description logic DL-Lite ontology minimal unsatisfiability-preserving sub-tbox （mups）; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种基于图的DL-Lite本体最小不可满足保持子集的计算方法被引量：2: 4; 作者付雪峰漆桂林张勇; 机构南昌工程学院信息工程学院东南大学计算机科学与工程学院; 出处《电子学报》 EI CAS CSCD 北大核心 2016年第9期2040-2045,共6页; 基金国家"八六三"高技术研究发展计划基金项目(No.2015AA015406) 国家自然科学基金(No.61272378) 江西省教育厅青年科学基金项目(No.GJJ12643); 文摘演变中的本体常出现不一致性问题,这将导致标准推理失效.针对不一致性问题,最小不可满足保持子集能够提供本体中概念不可满足的解释.计算最小不可满足保持子集是本体工程中的一项重要的非标准推理任务,但多数计算方法须借助外部的推理机,导致计算的效率不高.为了减少对推理机的依赖,本文提出了一种基于图的最小不可满足保持子集的计算方法.新的方法面向DL-Lite描述逻辑家族,将DL-Lite本体转换成图,将本体中的最小不可满足保持子集转换成图上的最小不可满足保持路径对.对比实验表明,基于图的方法提高了计算的效率和稳定性.; 关键词本体描述逻辑不一致处理最小不可满足保持子集; Keywords ontology description logic inconsistency handling minimal unsatisfiablility-preserving sub-tbox; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	本体推理机求解Mups的性能评测研究	欧阳丹彤张瑜叶育鑫	《计算机学报》 EI CSCD 北大核心	2017	5	在线阅读下载PDF 职称材料
2	基于关联解释的术语集MUPS求解方法	崔仙姬欧阳丹彤何加亮高健	《南京大学学报（自然科学版）》 CAS CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料
3	一种在DL-Lite中计算本体最小不可满足保持子集的算法	周丽平黄厚宽漆桂林瞿有利季秋	《计算机研究与发展》 EI CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
4	一种基于图的DL-Lite本体最小不可满足保持子集的计算方法	付雪峰漆桂林张勇	《电子学报》 EI CAS CSCD 北大核心	2016	2	在线阅读下载PDF 职称材料