基于多目标整数线性规划分层序列法的消除本体矛盾方法

摘要

本发明提供一种基于多目标整数线性规划分层序列法的消除本体矛盾方法，包括以下步骤：根据给定本体集合中各公理在给定极小冲突集合中的分布，计算各公理所对应的Shapley权重；根据所述本体集合与所述冲突集合构建第一整数线性规划模型，调用整数线性规划求解器进行求解，求解得到第一变量指派集合，将所述第一个变量指派集合中值为1的元素数量作为基数最小解的基数；根据基数最小解的基数和Shapley权重构造第二整数线性规划模型，调用整数线性规划求解器进行求解，得到第二变量指派集合；根据所述第二变量指派集合构建最终的解决方案，移除本体中最终的解决方案所对应的所有公理，即得到可解决给定逻辑矛盾的本体。