Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 东南大学汪可予获国家专利权

东南大学汪可予获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉东南大学申请的专利一种基于嵌入的不一致容忍本体推理方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115481741B

龙图腾网通过国家知识产权局官网在2026-03-31发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211175184.6,技术领域涉及:G06N5/04;该发明授权一种基于嵌入的不一致容忍本体推理方法是由汪可予;李思特;李嘉烨;漆桂林;季秋设计研发完成,并于2022-09-26向国家知识产权局提交的专利申请。

一种基于嵌入的不一致容忍本体推理方法在说明书摘要公布了:本发明公开了一种基于嵌入不一致容忍本体推理方法,该方法用于不一致本体推理相关任务并增强在不一致本体上的查询能力。首先,将本体中的公理转化成自然语言形式的句子。随后利用嵌入技术,将自然语言形式的公理句子映射成高维空间的语义向量,利用语义向量计算公理之间的语义联系。最后,通过语义向量之间的语义联系定义不一致容忍的推理关系。使用该推理关系,可以在不一致本体上推理出一致的结果。该推理关系拓展经典逻辑到了描述逻辑领域,具备良好的逻辑性质,同时充分考虑到本体中公理的语义,具备更强的不一致容忍推理能力。

本发明授权一种基于嵌入的不一致容忍本体推理方法在权利要求书中公布了:1.一种基于嵌入的不一致容忍本体推理方法,其特征在于,包含如下步骤: 步骤1生成不一致本体的所有最大一致子集; 步骤2将OWL语言形式的公理转化成自然语言形式的句子; 步骤3将公理对应的自然语言形式的句子映射成高维空间的语义向量; 步骤4为最大一致子集打分; 步骤5选出赋分最高的最大一致子集作为不一致容忍推理的结果; 其中,所述步骤1生成不一致本体的所有最大一致子集,假设有本体K,所生成的最大一致子集K'有如下定义: K'是一致的; 若那么K”是不一致的; 用mcsK表示由本体K所有最大一致子集组成的集合; 所述步骤4具体包含如下子步骤: 4.1计算语义向量之间的相似度,具体相似度计算方法利用余弦距离和欧几里得距离,两个公理之间语义相似程度越高,则它们对应的语义向量相似度越大,基于余弦距离的相似度函数和基于欧几里得距离的相似度函数定义如下: 其中,v1,v2分别为在步骤3中由两个不同公理转成的语义向量,Cosine_Distancev1,v2表示v1,v2的余弦距离,Euclidean_Distancev1,v2表示v1,v2的欧几里得距离; 4.2代入4.1中计算得到的相似度,定义公理在最大一致子集中的聚合度函数,一条公理在一个最大一致子集中的聚合度汇总了该公理和最大一致子集中公理的相似度,该公理在最大一致子集中的公理语义相似关联程度越高,则它在该最大一致子集中的聚合程度越高; 给出不同的聚合度函数定义方法如下: 1 2 3 4其中,Ki为本体K的一个最大一致子集,α,β分别为本体K中公理,Simα,β为公理α和β的相似度,即通过步骤23将公理α和β转成语义向量再通过余弦距离或欧几里得距离计算相似度,k为一个用于调节的参数,MkKi,α,k为由Ki中与α相似度值最小的k个公理形成的集合,HKi,α,TKi,α分别为Ki中与公理α头实体或尾实体相同的公理组成的集合; 4.3利用4.2中定义的聚合度函数,为每条公理打分,一条公理如果出现在更多的最大一致子集中,并且在它出现在的最大一致子集中聚合度更高,则认为这条公理更可信,它的赋分更高,利用上面定义的公理在最大一致子集中聚合度计算方法,定义如下四种公理打分函数: 1 2 3 4其中,其中,本体K是一个不一致本体,Ki为本体K的最大一致子集,α为本体K中公理,mcsK为由本体K所有最大一致子集组成的集合,aggKi,αglobal、aggKi,α,kknn、为4.2中定义的聚合度函数,k是可调的参数; 4.4汇总每个最大一致子集中公理的赋分,得到最大一致子集的打分,包含更多公理、包含的公理赋分更高的最大一致子集拥有更高的分数,选出得分最高的最大一致子集,作为推理的结果,并可以用于后续的公理推理和查询,集合打分函数定义如下: 1 2 3 4其中,本体K是一个不一致本体,Ki为本体K的最大一致子集,α为本体K中公理,mcK,αglobal、mcK,α,kknn、mcK,αlocal为4.3中定义的公理打分函数。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人东南大学,其通讯地址为:210096 江苏省南京市玄武区四牌楼2号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。