不协调本体调试与修复的冲突路径优化策略

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

作者：张瑜,欧阳丹彤,叶育鑫

单位：张瑜，吉林大学 计算机科学与技术学院, 吉林 长春 130012;符号计算与知识工程教育部重点实验室(吉林大学), 吉林 长春 13001211,欧阳丹彤，吉林大学 计算机科学与技术学院, 吉林 长春 130012;符号计算与知识工程教育部重点实验室(吉林大学), 吉林 长春 13001202,叶育鑫，吉林大学 计算机科学与技术学院, 吉林 长春 130012;符号计算与知识工程教育部重点实验室(吉林大学), 吉林 长春 13001203

摘要：以基于黑盒法的不协调本体调试与修复技术为研究对象，分析了黑盒法及其优化方法在调试过程中所存在的问题.针对这一问题，提出了一种基于冲突路径的调试与修复策略，证明了该策略能够正确构造出与基本冲突模式相对应的冲突路径.将黑盒法调试目标限定在与该冲突路径相关的冲突集上，以此降低调试目标的规模从而提高调试的效率.进而根据构造出的冲突路径，获得不可满足依赖路径并基于该路径制定出不可满足概念的修复策略.理论证明与实验结果均证实了所提出的调试与修复策略的正确性与有效性.

关键词：不协调本体;本体调试;本体修复;冲突路径;不可满足依赖路径

基金资助：国家自然科学基金（61672261，61502199）