通过公理弱化修复本体

本体工程是一项困难且易出错的任务，其中微小的改动可能导致错误，甚至产生不一致的本体。随着本体规模的增长，在尽可能保留原始知识的同时自动修复不一致性的方法需求日益增加。以往大多数处理该任务的方法基于从本体中移除少量公理以恢复一致性。我们提出了一种基于弱化这些公理以使其限制更少的新方法，采用了细化算子。我们引入了弱化描述逻辑（DL）本体的理论框架，提出了基于该框架修复本体的算法，并给出了计算复杂度的分析。通过对真实本体的实证分析，我们表明相比移除公理，我们的方法显著更多地保留了本体的原始知识。