To recover the defect that the traditional method of ontology logic conflict elimination failed to fully utilize the logical properties of the ontology,a new method based on multi-objective 0-1 integer linear programming was proposed which introduced the Shapley value to depict the logic properties of ontology.To avoid the equilibrium or randomness of object weights in traditional methods,the hierarchical sequence algorithm was used to solve the multi-objective linear programming model,and its solution followed the principle of rational abandonment.The experimental results show that this algorithm can effectively reduce the number of solution sets and improve the decision-making efficiency by utilizing the logic property of ontology in the context that the solution set follows the principle of rational a-bandonment.
关键词
本体/逻辑冲突/多目标整数线性规划/最小不可满足子集/Shapley值法
Key words
Ontology/Logical contradictions/Multi-objective integer linear programming/Minimum unsatisfiable subset/Shapley value
维普
万方数据