[发明专利]一种本体库最大基数子集的不完全划分方法及装置

权利要求书

1.一种本体库最大基数子集的不完全划分方法，其特征在于，所述方法包括：

步骤S110、根据包含逻辑冲突的本体库B和所述本体库B的限定协调簇数k，通过已有算法获得所述本体库B的m个极小不协调子集O_i(i＝0,1,...,m-1)组成的极小不协调子集集合MIS(B)以及问题公式集合Prob(B)，并构造模型决策变量集合X、模型辅助决策变量集合Q和辅助决策变量集合Y；

步骤S120、根据限定协调簇数k、所述决策变量集合X、所述辅助决策变量集合Q、所述辅助决策变量集合Y以及所述极小不协调子集集合MIS(B)，构造二次整数规划约束C；

步骤S130、令所述决策变量集合X之和构成二次整数规划目标函数Z，在满足所述二次整数规划约束C的条件下求解所述目标函数Z的最小值，得到变量指派集合，通过所述问题公式集合Prob(B)中每项公式在所述变量指派集合中对应的不同整数值可获得不同的簇类，以此划分为保留输入所述本体库最大基数子集的限定协调簇类。

2.根据权利要求1所述的方法，其特征在于，步骤S110具体包括：

计算所述问题公式集合Prob(B)的基数，定义为n，定义常数N为n+1；

将所述问题公式集合Prob(B)中所有公式映射为整数决策变量，变量定义域为{1,N,…,N^k}，构成度量为k+1的模型决策变量集合X；

遍历所述极小不协调子集集合MIS(B)，将其中每一项极小不协调子集O_i映射为0-1二元辅助决策变量，构成度量为m的模型辅助决策变量集合Q；

遍历所述极小不协调子集集合MIS(B)，针对每一项极小不协调子集O_i，分别映射为n项0-1二元辅助决策变量，构成度量为m*n的辅助决策变量集合Y。

3.根据权利要求2所述的方法，其特征在于，步骤S120具体包括：

遍历所述极小不协调子集集合MIS(B)，根据每一项极小不协调子集O_i，获取其集合中公式对应的二元变量集合计算所述二元变量集合的度量记为b_i；

令所述二元变量集合中所有元素x之和大于所述二元变量集合中每一项决策变量x_t、对应辅助决策变量y_it以及所述二元变量集合度量b_i之积，即其中构成二次整数规划约束集合C₁；

令每一项极小不协调子集O_i对应的辅助决策变量y_it之和大于当前遍历的极小不协调子集对应的辅助决策变量q_i，即其中构成二次整数规划约束集合C₂；

令所述二元变量集合中所有元素x之和大于所述二元变量集合度量b_i、常数N的k次方以及1减辅助决策变量q_i之积，即构成二次整数规划约束集合C₃；

所述二次整数规划约束C＝C₁∪C₂∪C₃。

4.一种本体库最大基数子集的不完全划分装置，其特征在于，所述装置包括：

第一构造模块，用于根据包含逻辑冲突的本体库B和所述本体库B的限定协调簇数k，通过已有算法获得所述本体库B的m个极小不协调子集O_i(i＝0,1,...,m-1)组成的极小不协调子集集合MIS(B)以及问题公式集合Prob(B)，并构造模型决策变量集合X、模型辅助决策变量集合Q和辅助决策变量集合Y；

第二构造模块，用于根据限定协调簇数k、所述决策变量集合X、所述辅助决策变量集合Q、所述辅助决策变量集合Y以及所述极小不协调子集集合MIS(B)，构造二次整数规划约束C；

求解模块，用于令所述决策变量集合X之和构成二次整数规划目标函数Z，在满足所述二次整数规划约束C的条件下求解所述目标函数Z的最小值，得到变量指派集合，通过所述问题公式集合Prob(B)中每项公式在所述变量指派集合中对应的不同整数值可获得不同的簇类，以此划分为保留输入所述本体库最大基数子集的限定协调簇类。