[发明专利]基于整数线性规划的本体逻辑矛盾处理方法在审
| 申请号： | 201910280411.3 | 申请日： | 2019-04-09 |
| 公开（公告）号： | CN110069747A | 公开（公告）日： | 2019-07-30 |
| 发明（设计）人： | 季秋;漆桂林;依曼 | 申请（专利权）人： | 南京邮电大学 |
| 主分类号： | G06F17/15 | 分类号： | G06F17/15;G06F16/36 |
| 代理公司： | 南京纵横知识产权代理有限公司 32224 | 代理人： | 董建林 |
| 地址： | 210003 *** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种基于整数线性规划(Integer Linear Programming,ILP)解决本体中逻辑矛盾的方法，给出了解决逻辑矛盾的ILP模型，即通过将给定的冲突集合转变为ILP表示，进而使用传统的ILP求解器获取最佳解决方案。每个方案对应一个公理集合，从本体中移除一个这样的集合，便可解决给定的冲突。本发明首次提出一个计算基数最小解决方案的算法，使得删除的公理尽可能少，还提出保留尽可能多权重信息的算法。本发明提出的基于ILP解决冲突的方法是一个通用的逻辑矛盾处理方法，不仅可以用于修复单个本体和本体映射，还可以用于做本体修正或本体演化。本发明通过丰富的实验，说明了提出的算法具有非常高的效率，并且删除的公理具有基数最小或权重和最小的性质。 | ||
| 搜索关键词： | 逻辑矛盾 算法 整数线性规划 删除 集合 基数 单个本体 公理集合 解决冲突 权重信息 传统的 求解器 权重和 通用的 映射 移除 冲突 修复 修正 保留 | ||
【主权项】：
1.基于整数线性规划的本体逻辑矛盾处理方法，其特征在于，包括以下步骤：步骤1、给出本体的来源；步骤2、通过本体调试工具计算冲突，并对每个不可满足概念的冲突计算设置时间阈值；步骤3、根据实际应用构建目标函数，以及根据每个冲突构建约束；步骤4、调用已有的整数线性规划求解器进行求解，将得到的第一个变量指派作为输出；步骤5、根据求解器返回的变量指派构建最终的解决方案，从本体中删除该方案中的公理便可以解决给定的逻辑矛盾。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京邮电大学，未经南京邮电大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910280411.3/，转载请声明来源钻瓜专利网。
