基于概念R-MUPS的本体调试方法
通过定义不可满足概念间的覆盖关系,发现MUPS和MIPS之间的内在关联,从而引出不可满足概念的R-MUPS;给出并证明不一致本体术语集中至少存在一个不可满足概念的R-MUPS就是该术语集的MIPS;利用这一结论,提出基于有序标签演算的R-MUPS算法,采用深度优先遍历原则合并分支计算R-MUPS,同时缓存覆盖概念集合,加快MIPS的求解,实现本体调试.通过概念扩展树与概念R-MUPS算法的等价性,证明算法的正确性并分析其复杂度.最后,利用自动生成本体、现实本体及其扩建本体的数据进行全面测试.实验结果表明:基于R-MUPS的MIPS求解方法能够高效,准确地完成本体调试任务.
本体调试、描述逻辑、定位、MUPS、MIPS
26
TP181(自动化基础理论)
国家自然科学基金61272208,61133011,41172294,61170092;吉林省科技发展计划201201011
2016-08-19（万方平台首次上网日期，不代表论文的发表时间）
共19页
2231-2249
