-
公开(公告)号：CN110069747A
公开(公告)日：2019-07-30
申请号：CN201910280411.3
申请日：2019-04-09
Applicant: 南京邮电大学
Abstract: 本发明公开一种基于整数线性规划(Integer Linear Programming,ILP)解决本体中逻辑矛盾的方法，给出了解决逻辑矛盾的ILP模型，即通过将给定的冲突集合转变为ILP表示，进而使用传统的ILP求解器获取最佳解决方案。每个方案对应一个公理集合，从本体中移除一个这样的集合，便可解决给定的冲突。本发明首次提出一个计算基数最小解决方案的算法，使得删除的公理尽可能少，还提出保留尽可能多权重信息的算法。本发明提出的基于ILP解决冲突的方法是一个通用的逻辑矛盾处理方法，不仅可以用于修复单个本体和本体映射，还可以用于做本体修正或本体演化。本发明通过丰富的实验，说明了提出的算法具有非常高的效率，并且删除的公理具有基数最小或权重和最小的性质。
Search Results
1
records
(took 0.011 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
