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

• 作者: 叶育鑫 崔仙姬 欧阳丹彤 苏静
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 本体调试 描述逻辑 定位 MUPS MIPS
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 2231-2249
• 页数: 19页
• 分类号: TP181
• 字数: 20972字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004735

摘要

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