基于整数线性规划的分层OWL本体修正（英文）

为了修正分层OWL(web ontology language)本体,通过定义新的冲突分层和基于整数线性规划(ILP)的切割函数扩展了核修正算子.基于ILP的模型考虑了最小化线性目标函数的优化问题,适合于修正本体时移除最少数量的公理.基于该切割函数,提出了一个修正算法,将ILP应用到所有最小的不协调保持子集(MIPS)上.该算法虽然能够经常找到用于移除的最少公理,但计算MIPS非常耗时.因此,又提出另一个改进的修正算法用于逐个处理不可满足概念.实验结果表明:提出的基于ILP的修正算法比经常使用的基于碰集树的算法更加高效;改进的修正算法能够达到更高的效率,但可能会删除更多的公理.