[发明专利]用于修复不一致本体的方法和设备

权利要求书

1.一种用于修复不一致本体的方法，包括：

输入一不一致本体；

检索该本体中的不可满足概念；

针对检索到的每个不可满足概念，收集与该概念相关的公理，以生成与该概念相关的不一致公理集合；

对与各个不可满足概念相关的不一致公理集合进行如下过滤：对于两个不一致公理集合C1和C2，若C1中的所有公理都被C2所包含，则删除C2；

对所保留的不一致公理集合重复如下操作，以生成一个或多个扩展错误集合：

从每个所保留的不一致公理集合中选择一个公理，构成一公理集合，并且

删除该公理集合中的重复公理，以生成一扩展错误集合；以及

从所述扩展错误集合中选择包含公理数目最少的扩展错误集合，作为候选修复集合，并对其进行修复。

2.如权利要求1所述的方法，还包括：

输入所述不一致本体中的每个公理的可信度因子，该可信度因子指示该公理正确性的可信度；

对于每个所述扩展错误集合，根据该集合中包含的每个公理的可信度因子来计算该扩展错误集合的可信度值；以及

选择可信度值最低的扩展错误集合，作为所述候选修复集合。

3.如权利要求2所述的方法，还包括：

根据所述可信度因子对所述不一致本体中的公理进行过滤，以删除其可信度因子小于一预定阈值的公理。

4.如权利要求2所述的方法，其中所述计算扩展错误集合的可信度值的步骤包括：

将该扩展错误集合中包含的每个公理的可信度因子相加，并以加和结果作为所述扩展错误集合的可信度值。

5.如权利要求1或2所述的方法，还包括：

删除每个所述不一致公理集合中包含的重复公理。

6.如权利要求1或2所述的方法，还包括：

删除重复的扩展错误集合。

7.如权利要求1或2所述的方法，还包括：

在得到多于一个候选修复集合的情况下，由用户选择所述候选修复集合之一，并对其进行修复。

8.一种用于修复不一致本体的设备，包括：

输入装置，用于输入一不一致本体；

检索装置，用于检索该本体中的不可满足概念；

不一致公理收集装置，用于针对检索到的每个不可满足概念，收集与该概念相关的公理，以生成与该概念相关的不一致公理集合；

不一致公理集合过滤装置，用于对与各个不可满足概念相关的不一致公理集合进行如下过滤：对于两个不一致公理集合C1和C2，若C1中的所有公理都被C2所包含，则删除C2；

扩展错误集合生成装置，用于生成一个或多个扩展错误集合，该扩展错误集合生成装置包括：

公理集合单元，用于从每个所保留的不一致公理集合中选择一个公理，构成一公理集合，以及

重复公理删除单元，用于删除所述公理集合中的重复公理，以生成一扩展错误集合；

候选修复集合选择装置，用于从所述扩展错误集合生成装置所生成的扩展错误集合中选择包含公理数目最少的扩展错误集合，作为候选修复集合；以及

本体修复装置，用于对所述候选修复集合选择装置所选择的候选修复集合进行修复。

9.如权利要求8所述的设备，其中所述输入装置还输入所述不一致本体中的每个公理的可信度因子，该可信度因子指示该公理正确性的可信度，所述设备还包括：

可信度值计算装置，用于针对所述扩展错误集合生成装置所生成的每个扩展错误集合，根据该集合中包含的每个公理的可信度因子来计算该扩展错误集合的可信度值；并且

所述候选修复集合选择装置选择可信度值最低的扩展错误集合，作为所述候选修复集合。

10.如权利要求9所述的设备，还包括：

公理过滤装置，用于根据所述可信度因子对所述不一致本体中的公理进行过滤，以删除其可信度因子小于一预定阈值的公理。

11.如权利要求8或9所述的设备，还包括：

重复公理删除装置，用于删除所述不一致公理收集装置收集到的每个所述不一致公理集合中包含的重复公理。

12.如权利要求8或9所述的设备，还包括：

重复集合删除装置，用于删除所述扩展错误集合生成装置所生成的扩展错误集合中的重复扩展错误集合。

13.如权利要求8或9所述的设备，还包括：

用户选择装置，用于在所述候选修复集合选择装置输出多于一个候选修复集合的情况下，由用户选择所述候选修复集合之一，并且

所述本体修复装置对所述用户选择装置所选的候选修复集合进行修复。