-
公开(公告)号:CN113656942A
公开(公告)日:2021-11-16
申请号:CN202110793830.4
申请日:2021-07-14
Applicant: 南京邮电大学
IPC: G06F30/20
Abstract: 本发明公开了一种不协调本体的综合构建方法、装置及存储介质,包括:设置多个参数,对多个参数进行赋值;从空集开始构建MIPS和MUPS,获得本体;依次添加新的MIPS和新的公理到本体中,使得本体满足所有参数,实现不协调本体的构建,所述多个参数包括:公理总数量、不可满足概念数量、MIPS数量、最小移除公理数、一个MUPS最多包含的公理数以及一个不可满足概念最多拥有的MUPS数量,本发明通过设置多个跟不协调本体密切相关的参数,从多个维度构建不协调本体,参数可以由用户根据自身需求进行设置,提供更好的个性化定制。
-
公开(公告)号:CN110069747A
公开(公告)日:2019-07-30
申请号:CN201910280411.3
申请日:2019-04-09
Applicant: 南京邮电大学
Abstract: 本发明公开一种基于整数线性规划(Integer Linear Programming,ILP)解决本体中逻辑矛盾的方法,给出了解决逻辑矛盾的ILP模型,即通过将给定的冲突集合转变为ILP表示,进而使用传统的ILP求解器获取最佳解决方案。每个方案对应一个公理集合,从本体中移除一个这样的集合,便可解决给定的冲突。本发明首次提出一个计算基数最小解决方案的算法,使得删除的公理尽可能少,还提出保留尽可能多权重信息的算法。本发明提出的基于ILP解决冲突的方法是一个通用的逻辑矛盾处理方法,不仅可以用于修复单个本体和本体映射,还可以用于做本体修正或本体演化。本发明通过丰富的实验,说明了提出的算法具有非常高的效率,并且删除的公理具有基数最小或权重和最小的性质。
-
公开(公告)号:CN113656942B
公开(公告)日:2022-06-10
申请号:CN202110793830.4
申请日:2021-07-14
Applicant: 南京邮电大学
IPC: G06F30/20
Abstract: 本发明公开了一种不协调本体的综合构建方法、装置及存储介质,包括:设置多个参数,对多个参数进行赋值;从空集开始构建MIPS和MUPS,获得本体;依次添加新的MIPS和新的公理到本体中,使得本体满足所有参数,实现不协调本体的构建,所述多个参数包括:公理总数量、不可满足概念数量、MIPS数量、最小移除公理数、一个MUPS最多包含的公理数以及一个不可满足概念最多拥有的MUPS数量,本发明通过设置多个跟不协调本体密切相关的参数,从多个维度构建不协调本体,参数可以由用户根据自身需求进行设置,提供更好的个性化定制。
-
公开(公告)号:CN113569537B
公开(公告)日:2021-12-17
申请号:CN202111118124.6
申请日:2021-09-24
Applicant: 南京邮电大学
IPC: G06F40/151 , G06F40/166 , G06F40/194 , G06N5/04
Abstract: 本发明公开了一种本体匹配修复方法和系统,属于语义网中本体匹配修复技术领域。首先基于构建规则将本体与匹配转换至有向图中,根据专家在判断过程中对匹配做出的决策,利用基于图的推理技术完成对未标识匹配的自动更新,最后返回修复匹配。本发明基于图方法实施可有效降低推理算法复杂度,利用图推理技术自动更新未标识匹配弧的方式,显著减少专家判断匹配的次数,有助于将交互式匹配修复方法扩展到大型本体。
-
公开(公告)号:CN113569537A
公开(公告)日:2021-10-29
申请号:CN202111118124.6
申请日:2021-09-24
Applicant: 南京邮电大学
IPC: G06F40/151 , G06F40/166 , G06F40/194 , G06N5/04
Abstract: 本发明公开了一种本体匹配修复方法和系统,属于语义网中本体匹配修复技术领域。首先基于构建规则将本体与匹配转换至有向图中,根据专家在判断过程中对匹配做出的决策,利用基于图的推理技术完成对未标识匹配的自动更新,最后返回修复匹配。本发明基于图方法实施可有效降低推理算法复杂度,利用图推理技术自动更新未标识匹配弧的方式,显著减少专家判断匹配的次数,有助于将交互式匹配修复方法扩展到大型本体。
-
-
-
-