黑盒法本体调试中选择函数的优化策略

发布时间：2021-04-12 11:41

　　在本体应用中,建立一个高质量本体并对其进行管理和维护是非常重要的。然而在实际应用中,很难构建出一个没有错误的本体。本体不一致的原因主要有对概念的理解和定义上的错误、一词多义、本体格式变化以及不同来源的本体进行合并等几个方面。在经典推理中,本体若含有逻辑冲突,可以推断出任何结论。因此,对含有逻辑冲突的本体进行推理是毫无意义的。为避免这种情况,必须要对本体的逻辑错误进行诊断并处理,这是确保本体质量、提高推理效率的重中之重。本文介绍了本体不一致调试的研究现状,并在分析了黑盒法和白盒法两种主要本体调试方法的基础上,重点对黑盒法优化算法中的选择函数算法进行了研究。本文的主要贡献包括:（1）将深度优先搜索策略应用于选择函数算法,提出了选择函数深度优先的搜索策略:在本体调试的扩张阶段,通过公理相关有针对地选择公理,并在选择公理的过程中对相关公理图进行深度优先的搜索,算法主要通过栈来实现。（2）提出缓存窗口机制来记录选择函数搜索到的公理数目。选择函数算法中,每添加一条新的公理便调用一次推理机,造成了时间和资源的浪费。针对此本文提出了缓存窗口优化机制:在扩张过程中设置一个缓存窗口,只有当新添加的公理数目... 

【文章来源】：吉林大学吉林省 211工程院校 985工程院校 教育部直属院校

【文章页数】：51 页

【学位级别】：硕士

【部分图文】：

语义Web层次体系在语义Web的七层结构中，本体层居于中心地位

图 2.1 描述逻辑知识库系统框架术语集 TBox 主要由概念和角色两部分以及构造算子组成：概念(Concep于一阶逻辑中的一元谓词，用于描述拥有共同属性和特征的类；角色(Rol

图 2.2 黑盒法扩张收缩描述图算法首先选定术语集中的一个不可满足概念，然后进行扩张和收缩。在扩张阶段，算法不断随机从术语集中选择公理，每选择出一条公理，调用一次推理机

【参考文献】：
期刊论文
[1]本体推理机求解Mups的性能评测研究[J]. 欧阳丹彤,张瑜,叶育鑫.  计算机学报. 2017(06)

博士论文
[1]本体不一致问题研究[D]. 李冬梅.北京交通大学 2014
[2]描述逻辑概念可满足性推理研究[D]. 古华茂.浙江大学 2009



本文编号：3133237