%0 Journal Article
%T 基于概念r-mups的本体调试方法
%A 欧阳丹彤？
%A 苏静？
%A 叶育鑫？
%A 崔仙姬？
%J 软件学报
%P 2231-2249
%D 2015
%R 10.13328/j.cnki.jos.004735
%X 通过定义不可满足概念间的覆盖关系,发现mups和mips之间的内在关联,从而引出不可满足概念的r-mups;给出并证明不一致本体术语集中至少存在一个不可满足概念的r-mups就是该术语集的mips;利用这一结论,提出基于有序标签演算的r-mups算法,采用深度优先遍历原则合并分支计算r-mups,同时缓存覆盖概念集合,加快mips的求解,实现本体调试.通过概念扩展树与概念r-mups算法的等价性,证明算法的正确性并分析其复杂度.最后,利用自动生成本体、现实本体及其扩建本体的数据进行全面测试.实验结果表明:基于r-mups的mips求解方法能够高效、准确地完成本体调试任务.
%K 本体调试
%K 描述逻辑
%K 定位
%K mups
%K mips
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4735&flag=1