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

来源：软件学报杂志2015年第9期北京时间：

作者：欧阳丹彤,苏静,叶育鑫,崔仙姬

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

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

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

基金资助：国家自然科学基金(61272208, 61133011, 41172294, 61170092); 吉林省科技发展计划(201201011)