国产三级在线观看完整版,一区二区三区在线 | 日本,内射女校花一区二区三区,年轻丰满的继牳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)鍵字：面向 模型 本體
主站蜘蛛池模板： 航空| 太原市| 宝坻区| 东乡| 黎平县| 清丰县| 成安县| 建湖县| 南宁市| 米易县| 巫溪县| 灵山县| 濮阳市| 武城县| 庆安县| 鄂州市| 连城县| 讷河市| 论坛| 浏阳市| 满城县| 高要市| 南投市| 遂昌县| 霍城县| 德保县| 皮山县| 滦平县| 湖口县| 纳雍县| 新源县| 肥东县| 神农架林区| 民县| 常德市| 临沂市| 新昌县| 密云县| 高陵县| 孝感市| 辉南县|