基于概念r-mups的本体调试方法

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