重囗另类BBWSeⅹHD,av狼论坛,精品一卡2卡三卡4卡乱码理论,体育生gv老师浪小辉3p警察

基于擴展描述邏輯的Ontology形式化

時間:2023-05-02 20:42:43 航空航天論文 我要投稿
  • 相關(guān)推薦

基于擴展描述邏輯的Ontology形式化

語義Web解決的問題是機哭對Web上知識的理解,使計算機能夠理解web上的知識,便于計算機處理,而在語義web的層次結(jié)構(gòu)中,Ontology屢占重要的地位.本文在描述邏輯的基礎(chǔ)之上,引入模態(tài)邏輯和時態(tài)邏輯,用于表達語義web上的模態(tài)語義,從而實現(xiàn)豐富web上的語義信息.

作 者: 賈延明 高崢   作者單位: 賈延明(河南商丘科技職業(yè)學(xué)院)

高崢(河南新鄉(xiāng)學(xué)院現(xiàn)代教育技術(shù)中心) 

刊 名: 管理學(xué)家  英文刊名: GUANGLI XUEJIA  年,卷(期): 2009 ""(5)  分類號:   關(guān)鍵詞: 語義web   Ontology   描述邏輯   模態(tài)邏輯   時態(tài)邏輯  

【基于擴展描述邏輯的Ontology形式化】相關(guān)文章:

基于描述邏輯的地圖語義模型初步研究04-27

邏輯演算與形式化方法04-30

關(guān)于辯證邏輯形式化問題04-28

資源描述框架的形式化表示問題研究04-30

Ontology格義04-27

基于模糊邏輯的組合導(dǎo)引律04-28

基于極小擴展原理的表現(xiàn)外延及其性質(zhì)04-26

帶空洞的復(fù)雜面域間拓?fù)潢P(guān)系的形式化描述04-29

帶空洞的復(fù)雜面域間拓?fù)潢P(guān)系的形式化描述04-28

基于模糊邏輯的高性能融合制導(dǎo)研究04-30

主站蜘蛛池模板: 郴州市| 饶平县| 西华县| 望江县| 萝北县| 遵化市| 大兴区| 明光市| 南岸区| 湘潭市| 和林格尔县| 房产| 青神县| 夏津县| 九寨沟县| 泽州县| 郴州市| 三亚市| 甘洛县| 泽普县| 北安市| 龙胜| 新营市| 峨边| 昭苏县| 独山县| 北流市| 鄂州市| 化州市| 大埔县| 英吉沙县| 古浪县| 南阳市| 太仆寺旗| 东辽县| 隆子县| 北海市| 佛教| 冷水江市| 呼伦贝尔市| 荆州市|