#
客服热线:0311-85395669
资讯电话:
139-32128-146
152-30111-569
客服电话:
0311-85395669
指标

面向元模型的本体模型校验

浏览:|评论:0条   [收藏] [评论]

在本体合并和映射过程中,经常会产生新的本体模型,为了保证这些本体模型在逻辑上的正确性,需对其进行形式化校验。目前,有关本体模型的形式化校验大都是围绕单个概念或关系来进行,而多个概…

提示

阅读此文要求是注册用户并符合权限 [登录] 还不是会员 [注册]

延伸阅读
上一篇:决策树在连退加热段带钢抗拉强度影响因素分析中的应用
下一篇:皮带秤远程集中计量系统
分享到:
[腾讯]
关键字:面向 模型 本体