检索结果-内蒙古大学图书馆

软件学报 2018年第10期29卷 2948-2965页

作者：张瑜欧阳丹彤叶育鑫吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

以基于黑盒法的不协调本体调试与修复技术为研究对象,分析了黑盒法及其优化方法在调试过程中所存在的问题.针对这一问题,提出了一种基于冲突路径的调试与修复策略,证明了该策略能够正确构造出与基本冲突模式相对应的冲突路径.将黑盒法... 详细信息

以基于黑盒法的不协调本体调试与修复技术为研究对象,分析了黑盒法及其优化方法在调试过程中所存在的问题.针对这一问题,提出了一种基于冲突路径的调试与修复策略,证明了该策略能够正确构造出与基本冲突模式相对应的冲突路径.将黑盒法调试目标限定在与该冲突路径相关的冲突集上,以此降低调试目标的规模从而提高调试的效率.进而根据构造出的冲突路径,获得不可满足依赖路径并基于该路径制定出不可满足概念的修复策略.理论证明与实验结果均证实了所提出的调试与修复策略的正确性与有效性.

关键词：不协调本体本体调试本体修复冲突路径不可满足依赖路径

来源：评论

学校读者我要写书评

暂无评论

分布式本体调试信息的存储优化与增量更新

引用

郑州大学学报（理学版） 2018年第4期50卷 1-7页

作者：吴刚闫智宣邱煜晶卢海强李洋东北大学计算机科学与工程学院辽宁沈阳100619

为提高大规模本体信息的推理调试速度,提出了基于分布式数据库的RDFS和OWL pD*的推理调试方法,并优化存储模型和推理调试算法.此外,每次本体信息更新后,静态的本体推理和调试算法都需要完全地重新进行推理,因而提出了一种针对本体信息... 详细信息

为提高大规模本体信息的推理调试速度,提出了基于分布式数据库的RDFS和OWL pD*的推理调试方法,并优化存储模型和推理调试算法.此外,每次本体信息更新后,静态的本体推理和调试算法都需要完全地重新进行推理,因而提出了一种针对本体信息更新的增量算法,实现本体数据的动态更新.LUBM数据集的实验结果表明,基于分布式数据库是基于分布式文件的本体调试方法用时的15%～25%.在百万数量级三元组上,更新20%以内的数据,增量更新算法更有效.

关键词：分布式本体调试存储优化增量更新

来源：评论

学校读者我要写书评

暂无评论

基于Forgetting策略的不协调本体调试

基于Forgetting策略的不协调本体调试

引用

作者：孙凯丽吉林大学

学位级别：硕士

由于本体开发者对本体领域知识的理解和认识方面所存在的差异,导致在本体构建、本体合并和本体演化过程中,在概念的定义上经常出现逻辑错误,这些逻辑错误的概念称为不可满足概念,它们的存在引起了本体不协调现象的发生。本体调试是解决... 详细信息

由于本体开发者对本体领域知识的理解和认识方面所存在的差异,导致在本体构建、本体合并和本体演化过程中,在概念的定义上经常出现逻辑错误,这些逻辑错误的概念称为不可满足概念,它们的存在引起了本体不协调现象的发生。本体调试是解决本体不协调问题的主要手段,它的目标是求解不可满足概念的极小不可满足保持子术语集(MUPS),这是造成概念不可满足的根本原因。由于基于“扩张-收缩”策略的黑盒法具有可移植性和鲁棒性,已成为本体调试最主要的方法。然而黑盒法在求解MUPS中,扩张阶段的每一次添加公理与收缩阶段的每一次删减公理都需要调用推理机进行可满足性检测,根据检测结果决定与不可满足概念有关的公理集合的增减。因此,频繁的可满足性检测是影响黑盒法求解效率的最主要因素。为了解决这一问题,本文从如何减少参与求解的公理数目这一角度出发,采用Forgetting策略,将规模较大的原始本体削减为规模较小的子本体,将黑盒法求解MUPS的过程限定在该子本体上,以此减少黑盒法在扩张阶段和收缩阶段的可满足性检测次数,提高黑盒法本体调试的效率。为了达到以上目标,本文引入归结的方法制定Forgetting规则,只针对符合Forgetting规则的概念或角色实施Forgetting操作,同时为所有被Forgetting的概念和公理建立一个索引标签用于跟踪。接下来使用黑盒法对Forgetting后得到的候选集合求解MUPS,如果求得的MUPS中的公理不是原本体中存在的公理,则通过索引标签将其恢复。如果恢复之后得到的MUPS不符合极小性特征,则对其进行极小化操作。最后,本文从理论上证明了Forgetting策略在本体调试方面的可用性和正确性,并通过对比实验验证了其有效性。

关键词：本体调试不协调本体黑盒法调试 Forgetting策略

来源：评论

学校读者我要写书评

暂无评论

不一致本体精确调试的公理分割方法

引用

计算机应用与软件 2017年第8期34卷 58-65页

作者：张永涛商丘工学院信息与电子工程学院河南商丘476000

本体调试是解决本体不一致问题的主要手段。现有的本体调试方法能够求解出本体不一致性的一组冲突公理集合,删除这些公理可使本体恢复到一致状态。然而,简单地删除这些冲突公理不可避免地会造成本体信息的损失。为了解决这个问题,采用... 详细信息

本体调试是解决本体不一致问题的主要手段。现有的本体调试方法能够求解出本体不一致性的一组冲突公理集合,删除这些公理可使本体恢复到一致状态。然而,简单地删除这些冲突公理不可避免地会造成本体信息的损失。为了解决这个问题,采用公理分割的思想,对冲突公理集合进行分割,基于分割后的公理集再次进行调试。该方法能够保留与不一致性无关的本体信息,从而避免了信息损失的情况发生。实验结果表明,在各种类型的实验本体上,所提出的精确调试算法在留存度与调试时间两方面都比类似相关的算法取得较好的效果。

关键词：本体调试不一致本体不可满足概念公理分割不一致本体精确调试

来源：评论

学校读者我要写书评

暂无评论

基于概念R-MUPS的本体调试方法?

引用

软件学报 2015年第9期26卷 2231-2249页

作者：欧阳丹彤苏静叶育鑫崔仙姬吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 国家地球物理探测仪器工程技术研究中心(吉林大学) 吉林长春130026 大连民族大学信息与通信工程学院辽宁大连116600

通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,... 详细信息

通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,采用深度优先遍历原则合并分支计算R-MUPS,同时缓存覆盖概念集合,加快MIPS的求解,实现本体调试.通过概念扩展树与概念R-MUPS算法的等价性,证明算法的正确性并分析其复杂度.最后,利用自动生成本体、现实本体及其扩建本体的数据进行全面测试.实验结果表明:基于R-MUPS的MIPS求解方法能够高效、准确地完成本体调试任务.

关键词：本体调试描述逻辑定位 MUPS MIPS

来源：评论

学校读者我要写书评

暂无评论

基于图的DL-Lite本体调试和半自动修正

基于图的DL-Lite本体调试和半自动修正

引用

作者：张勇东南大学

学位级别：硕士

近年来,本体技术应用于越来越多的领域。然而,本体在演变及融合过程中,极易出现信息冲突的问题,进而导致本体不协调现象的发生,因此,本体调试和修正工作受到了本体领域相关研究者的广泛关注。现有的调试和修正算法主要存在以下几个方面... 详细信息

近年来,本体技术应用于越来越多的领域。然而,本体在演变及融合过程中,极易出现信息冲突的问题,进而导致本体不协调现象的发生,因此,本体调试和修正工作受到了本体领域相关研究者的广泛关注。现有的调试和修正算法主要存在以下几个方面的问题：实际调试过程中会多次调用推理机,同时占用大量的内存,这在处理海量数据时将变得十分困难,而修正时也会产生多类问题,比如丢失原始本体信息、修正结果超出了原始本体描述语言的表达能力等。针对上述问题,本文通过对DL-Lite本体特点的分析,给出了一种在本体和图之间进行转化的规则,并提出了一种基于图的本体调试算法和半自动修正算法。具体而言,本文主要包括以下三个研究内容：1、提出了一种将DL-Lite本体转化为有向图的构建规则,并给出了本体和图之间的等价性证明。在此基础上,本文提出了基于图的本体调试算法,具体包括基于图的寻找不可满足概念或者角色的算法、基于图的寻找最小不可满足子集(MUPS)的算法以及基于图的寻找最小不协调公理集合(MIPS)的算法。2、提出了一种基于图的本体半自动修正算法并给出了相关的理论基础。该算法能够将MIPS公理集合提供给用户进行选择,同时,在删除公理之后,将不会导致本体不协调的蕴含信息重新加入到修正后的本体中,从而尽可能地减少本体信息的丢失。3、基于上述算法,本文实现了一个本体调试和修正系统GODRS,并与其它相关的算法进行了对比实验来验证上述算法的效率和有效性。实验结果表明基于图的调试算法在计算效率和可伸缩性方面都要优于目前常见的几种算法,而基于图的修正算法在尽可能的减少原始本体信息丢失的同时,修正效率也要优于其它算法。

关键词： DL-Lite 不协调本体本体调试本体修正

来源：评论

学校读者我要写书评

暂无评论

基于概念包含推理的本体调试

基于概念包含推理的本体调试

引用

作者：雷景佩吉林大学

学位级别：硕士

描述逻辑是一类知识表示语言，它不仅广泛的应用于生物学、医学与地理学等多个领域，而且是现今语义网中标准本体语言OWL的理论基础。对应不同表达能力和复杂性描述逻辑语言的OWL语言应用到不同情境，完成合适的功能并得到更好的性能。... 详细信息

描述逻辑是一类知识表示语言，它不仅广泛的应用于生物学、医学与地理学等多个领域，而且是现今语义网中标准本体语言OWL的理论基础。对应不同表达能力和复杂性描述逻辑语言的OWL语言应用到不同情境，完成合适的功能并得到更好的性能。在本体构建、合并、维护、查询过程中，难免产生不符合用户预期的推理结果，并且随着本体规模的增大以及复杂性的提高这些结果越容易产生。同时，诊断推理结果产生的原因并修复仅仅依靠用户经验也变的更不可能。解决这类问题主要方法是本体调试，本体调试一般包括本体诊断和修复两个方面内容。本体诊断一般采用基于模型诊断的思想，找出导致不一致的极小原因，为用户修复本体提供信息支持或者利用删除极小诊断中公理自动修复本体。本体修复则根据诊断的结果，添加或者删除公理，以获得符合用户预期的本体。不符合用户预期的推理结果一般分为两类，一类是本体不一致问题，即本体中存在逻辑矛盾导致其中存在不可满足概念，另一类是本体自身没有逻辑矛盾，但与用户自身的知识不一致。现今为止，本体诊断过程，这两类问题一般均被转化成概念可满足标准推理问题。这种推理的处理方法一般基于构建冲突模型的Tableau推理，最终获得一个极小公理集合（MUPS/Justification），但复杂的中间结果无法为用户提供更多有用信息，不利于用户发现并处理第二类不符合用户预期的问题。相对于概念可满足性推理，概念包含是另一种能够给用户直观的提供概念之间包含关系的基本推理，其进一步产生的原子概念的层次结构。这些信息不仅使用户较容易理解本体的概念结构，而且对发现与调试第二类不符合用户预期的问题很有价值。概念包含推理可以采用具有良好的性能的Consequence-based Reasoning方法，不必转化成概念的可满足性问题。Consequence-based Reasoning的中间结果为包含公理形式，易于理解和重用。本文讨论了基于概念包含推理的本体调试方法，具体如下：（1）给出了本体调试中诊断和修复问题的相关概念与一般过程。说明了概念包含推理相对于可满足性推理，能够为本体调试提供更多有价值的额外信息。为更好的理解与处理第二类不符合用户预期的问题，相对于一般的推理跟踪Proof，提出了一种与Justification紧密相关能够更有效的说明本体推理过程的推理跟踪JProof。（2）给出了一种基于EL+语言的Consequence-based Reasoning规则的JProof求解方法，该方法同时能够高效的获取对应问题的所有Justification。简要说明了求解所有极小诊断HS-Tree方法。实验表明该方法不仅能够有效的求解JProof，而且能够高效的求解所有Justification。这些特性并不仅仅针对EL+，也可以适应更加复杂的Consequence-based Reasoning可处理的描述逻辑语言Horn SROIQ，ALCI，甚至SHI。

关键词：本体调试概念包含 Consequence-based Reasoning Justification JProof

来源：评论

学校读者我要写书评

暂无评论

基于模型诊断的本体调试局部定位

引用

吉林大学学报（工学版） 2014年第6期44卷 1757-1763页

作者：欧阳丹彤苏静叶育鑫崔仙姬吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学国家地球物理探测仪器工程技术研究中心长春130026

将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理... 详细信息

将模型诊断引入到本体调试的局部定位,在定义公理的部件术语集的基础上给出不可满足概念的MUCS,实现在本体术语集的局部调试。利用MUCS将不可满足概念的逻辑错误定位至公理内部,MUCS调试与现有的本体调试是相互独立的。调用外部DL推理机计算不可满足概念的一个MUCS,并结合宽度优先原则和Reiter碰集树算法得到所有MUCS。最后利用现实本体对本文算法进行测试,实验结果表明:与传统的MUPS本体调试方法相比,MUCS调试方法能够将逻辑冲突定位到局部位置,准确有效地完成本体调试任务。

关键词：本体调试定位最小不可满足保持子术语集极小不一致保持子集

来源：评论

学校读者我要写书评

暂无评论

本体调试中标签有序化及公理的扩展选择

本体调试中标签有序化及公理的扩展选择

引用

作者：苏静吉林大学

学位级别：硕士

语义Web的目标是使得Web上的信息可以被计算机理解，是当前万维网的一个扩展。本体层是语义Web领域的核心层，本体是对特定领域共享概念的形式化描述，保证了大家对领域内概念以及概念之间的关系的共同认知。描述逻辑作为本体的逻辑基... 详细信息

语义Web的目标是使得Web上的信息可以被计算机理解，是当前万维网的一个扩展。本体层是语义Web领域的核心层，本体是对特定领域共享概念的形式化描述，保证了大家对领域内概念以及概念之间的关系的共同认知。描述逻辑作为本体的逻辑基础，具有很好的语义和表达能力，能够提供可判定的推理服务。现实生活中，由领域专家手工完成的本体已经被广泛应用于计算机科学和工程的各个方面。与此同时，随着本体构建工具的不断完善，本体的构建可能是由多个非领域专家参与，或者是不同本体的合并，很容易从本体中可以推出相互矛盾的知识，导致本体出现不一致的情况。此外，在本体整合、本体融合、本体迁移、本体进化等任务中，都有可能导致本体不一致。这意味着在本体构建、使用、升级和维护的整个生命周期中，都离不开对其内涵知识不一致性的冲突消解，因此本体调试工作成为语义Web中的重要问题。到目前为止，推理机只能判定概念是否可满足，而无法提供有效参考信息和帮助来告诉用户概念不可满足的原因。本文讨论了语义Web中不一致本体所有逻辑冲突的求解问题，在扩展传统的Tableau演算和利用选择函数选择扩展的公理两个方面提出了公理定位的解决方法，具体工作如下：（1）基于有序标签Tableau演算的调试方法，通过分析导致概念不可满足和本体不一致的原因，研究二者之间的对应关系和不可满足概念之间的依赖关系，对不可满足概念提出一种有效地计算不一致本体术语集的最小不连贯保持子术语集（MIPS，minimalincoherence preserving sub-TBox）的算法。在对不可满足概念进行带有序标签的Tableau演算过程中，能够得到其所依赖的其他不可满足概念，从而减少重复求解MIPS的计算量。我们将此算法与当前最具有代表性的算法进行了比较，实验结果表明所提出的基于有序标签Tableau演算的调试方法对于求解不一致本体的所有MIPS是有效的，能够高效准确地完成本体调试任务，优于其他算法。（2）基于公理扩展选择的公理定位方法，首先利用选择函数从术语集中选择当前相关的公理，然后逐条删除相关公理，确定导致概念不可满足的关键公理，最后保留下来的公理集就是不可满足概念的一个最小不可满足保持子术语集(MUPS，minimalunsatisfiability preserving sub-TBox）。再进一步利用碰集树算法，结合深度优先原则生成碰集树得到不可满足概念所有的MUPS。这样可以缩减MUPS的求解问题空间，实验表明基于公理扩展选择的调试方法能够有效地处理具有不同表达能力的本体。综合，本文提出的两种调试方法都能够很好地定位不一致本体中的所有逻辑冲突，并且在时间效率上有一定的提高。

关键词：语义Web 本体本体调试公理定位 MUPS 描述逻辑

来源：评论

学校读者我要写书评

暂无评论

基于互补概念和搜索图的MUPS求解优化方法

引用

软件学报 2018年第10期29卷 2995-3008页

作者：崔仙姬何加亮张俊星高健大连民族大学信息与通信工程学院辽宁大连116600 大连海事大学信息科学技术学院辽宁大连116026

本体调试是人工智能中非标准推理任务之一,对于本体工程具有很重要的意义.结合互补概念与基于术语集的搜索图提出极小不可满足子术语集求解的优化方法.首先,通过判断扩展的术语集是否包含互补概念,确定该子术语集是否需要进行概念可满... 详细信息

本体调试是人工智能中非标准推理任务之一,对于本体工程具有很重要的意义.结合互补概念与基于术语集的搜索图提出极小不可满足子术语集求解的优化方法.首先,通过判断扩展的术语集是否包含互补概念,确定该子术语集是否需要进行概念可满足性检测,可以有效减少推理机的调用次数.接着,根据术语集扩展过程构造一个术语集搜索图,分别采用宽度优先搜索和深度优先搜索策略快速查找不可满足子术语集.该优化方法一方面减少了待测子术语集的规模,另一方面提高了查找不可满足子术语集对应的节点的查找效率.最后,实现了所给出的各类优化算法并与现有的黑盒优化算法进行了比较.实验结果表明,该方法从推理机调用次数和待测术语集规模方面均优于现有的MUPS求解方法,能够有效提高求解术语集MUPS的效率.

关键词：描述逻辑本体调试 MUPS 互补概念选择函数

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：