基于半模型的OWL本体理由探求方法研究

作     者：张瑜 欧阳丹彤 崔仙姬 叶育鑫 ZHANG Yu;OUYANG Dan-Tong;CUI Xian-Ji;YE Yu-Xin

作者机构：吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室长春130012 大连民族大学信息与通信工程学院辽宁大连116600 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2018年第41卷第12期

页      面：2720-2733页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金项目(61672261 61502199)资助 

主　　题：语义Web推理 OWL本体 理由 黑盒技术 蕴涵关系 

摘      要：OWL本体理由探求是语义Web推理的重要任务之一.随着语义Web数据的急剧增长以及本体规模的不断扩大,目前的本体理由探求策略已难以满足它们对推理性能的要求.该文以基于黑盒的探求技术为研究对象,黑盒法是基于扩张和收缩两个阶段实现理由探求任务的,扩张阶段的目标是获得蕴涵目标公理的理由的一个超集,收缩阶段对得到的理由超集进行删减至极小集合.然而,这两个阶段的主要时间开销在于频繁地调用推理机进行变化的公理集合与目标公理之间的蕴涵关系的检测,这会严重影响理由探求的效率.为了解决这一问题,通过观察理由探求过程中公理集合的变化情况,给出增量本体序列定义,并揭示了增量本体序列中的最大增量本体与理由之间的关系.增量本体序列的生成过程主要涉及两方面因素:(1)后继本体对先驱本体的有效扩充(必须保证是拟序关系);(2)对本体链中的本体是否蕴涵目标公理的推理判定(必须保证当且仅当最大本体蕴涵目标公理).在增量本体序列生成过程中,利用半模型证明了后继增量本体与目标公理之间的蕴涵关系是半可判定的,进而给出基于半模型增量推理的理由超集探求算法及其正确性证明.半模型增量推理的增量体现在:保留上一次得到的模型作为下一次判定的初始条件之一,从而避免传统蕴涵判定中,每一次都完全重构模型的冗余计算.最后,提出了一种与现有的收缩过程相反的理由求解方案——基于扩张的理由求解策略.通过迭代地添加公理过程,探测该公理集下的所有理由的公共元素.利用探测到的所有公共元素构造目标公理的理由.随后利用该文提出的增量推理任务分别给出新的扩-缩理由探求方法和双扩理由探求方法.实验结果表明,改进后的扩-缩理由探求方法在求解性能上优于原有的扩-缩理由探求方法;而新提出的基于增量推理的双扩理由探求方法在现有的求解策略中表现最优.