用于修复不一致本体的方法和设备

摘要

本发明提供了用于修复不一致本体的方法和设备。所述方法包括：输入一不一致本体；检索该本体中的不可满足概念；针对检索到的每个不可满足概念，收集与该概念相关的公理，构成不一致公理集合；对与各个不可满足概念相关的不一致公理集合进行过滤，即，对于两个不一致公理集合C1和C2，若C1中的所有公理都被C2所包含，则删除C2；根据所保留的不一致公理集合生成一个或多个扩展错误集合；以及从扩展错误集合中选择包含公理数目最少的扩展错误集合，作为候选修复集合来进行修复。相对于现有技术，本发明可以找到包括所有可能方案的候选修复集合，并因此可以找到最佳修复方案。此外，本发明还提出了同时应对本体的不一致问题和不确定问题的策略。

主权项

一种用于修复不一致本体的方法，包括：输入一不一致本体；检索该本体中的不可满足概念；针对检索到的每个不可满足概念，收集与该概念相关的公理，以生成与该概念相关的不一致公理集合；对与各个不可满足概念相关的不一致公理集合进行如下过滤：对于两个不一致公理集合C1和C2，若C1中的所有公理都被C2所包含，则删除C2；对所保留的不一致公理集合重复如下操作，以生成一个或多个扩展错误集合：从每个所保留的不一致公理集合中选择一个公理，构成一公理集合，并且删除该公理集合中的重复公理，以生成一扩展错误集合；以及从所述扩展错误集合中选择包含公理数目最少的扩展错误集合，作为候选修复集合，并对其进行修复。