国产三级在线观看完整版,一区二区三区在线 | 日本,内射女校花一区二区三区,年轻丰满的继牳4伦理

#
客服熱線:0311-85395669
資訊電話:
139-32128-146
152-30111-569
客服電話:
0311-85395669
指標

面向元模型的本體模型校驗

瀏覽:|評論:0條   [收藏] [評論]

在本體合并和映射過程中,經(jīng)常會產(chǎn)生新的本體模型,為了保證這些本體模型在邏輯上的正確性,需對其進行形式化校驗。目前,有關(guān)本體模型的形式化校驗大都是圍繞單個概念或關(guān)系來進行,而多個概…

提示

閱讀此文要求是注冊用戶并符合權(quán)限 [登錄] 還不是會員 [注冊]

延伸閱讀
上一篇:決策樹在連退加熱段帶鋼抗拉強度影響因素分析中的應(yīng)用
下一篇:皮帶秤遠程集中計量系統(tǒng)
分享到:
[騰訊]
關(guān)鍵字:面向 模型 本體
主站蜘蛛池模板: 咸宁市| 兴宁市| 临城县| 洛阳市| 禄劝| 开平市| 张掖市| 朝阳区| 乐安县| 特克斯县| 绥阳县| 潼关县| 镇巴县| 且末县| 永安市| 友谊县| 高碑店市| 临桂县| 柳江县| 朝阳市| 宁乡县| 古丈县| 洮南市| 新竹市| 文昌市| 于都县| 岚皋县| 卢湾区| 佛冈县| 西乡县| 图们市| 伊宁县| 阿图什市| 巫溪县| 元氏县| 孝感市| 穆棱市| 塔河县| 五台县| 金阳县| 上杭县|