基于0-1规划模型的本体不协调解决方法

The Method of Ontology Inconsistent Solution Based on 0-1 Linear Programming Model

针对本体不协调解决缺乏有效的方法的问题,提出一种面向用户需求的本体修复模型。模型采用0-1线性规划方法,以最小化删除代价为目标,利用本体结构、来源等信息衡量公理重要性,并通过最小冲突集与用户需求限制修复策略的选择,达到消除不协调、减少语义损失、保证可信度的目的。实验结果表明,上述方法能有效解决本体的不协调问题,修复的本体相对于传统方法更符合使用需要,贴合用户需求。

Concerning the problem of lack of effective methods for ontology inconsistency solution, an ontology repair model oriented user＇s demands is proposed. This model uses the 0 - 1 linear programming method to minimize the cost of deletion, which is measured with the information of ontology structure and source. Through limiting the scope of revision strategy to minimum conflict sets and user＇s demands ,the model can eliminate inconsistency, reduce semantic loss, and ensure credibility. The experimental results show that the method can effectively solve the problem of ontology inconsistency, and compared with traditional methods, the repaired ontology is more suitable to the needs of users.