一种本体库最大基数子集的不完全划分方法及装置

摘要

本公开提供一种本体库最大基数子集的不完全划分方法及装置。包括根据包含逻辑冲突的本体库和限定协调簇数k，获得极小不协调子集集合以及问题公式集合，并构造模型决策变量集合X、模型辅助决策变量集合Q和Y；根据k、X、Q和Y以及极小不协调子集，构造二次整数规划约束C；令X之和构成二次整数规划目标函数Z，在满足C的条件下求解Z的最小值，得到变量指派集合，通过问题公式集合中每项公式在变量指派集合中对应的不同整数值可获得不同的簇类，以此划分为保留输入本体库最大基数子集的限定协调簇类。利用极小不协调子集构建二次整数规划模型，最后求解该模型将本体库不完全划分为限定协调簇类并使得它们保留本体库中最大基数子集。