一种基于图的DL-Li te本体最小不可满足保持子集的计算方法

演变中的本体常出现不一致性问题，这将导致标准推理失效。针对不一致性问题，最小不可满足保持子集能够提供本体中概念不可满足的解释。计算最小不可满足保持子集是本体工程中的一项重要的非标准推理任务，但多数计算方法须借助外部的推理机，导致计算的效率不高。为了减少对推理机的依赖，本文提出了一种基于图的最小不可满足保持子集的计算方法。新的方法面向DL-Lite描述逻辑家族，将DL-Lite本体转换成图，将本体中的最小不可满足保持子集转换成图上的最小不可满足保持路径对。对比实验表明，基于图的方法提高了计算的效率和稳定性。