面向需求的应用本体不一致诊断方法研究

摘要

为计算复杂应用本体中非合法蕴含式集合的根本性冲突原因,首先对现有不一致诊断方法进行系统的梳理,然后结合应用本体及其需求特点,分析存在问题与不足,探讨将原本相互孤立的、分别应用在不同诊断工具中的反模式探测法、根辩解法、简洁辩解法之核心算法进行组合、优化的思路与方法.在此基础上,提出一个综合性的启发式简洁根辩解诊断法,阐述其基本思路与具体步骤,并以相关论文中经常使用的实验本体为例,验证方法的有效性.