- 相關(guān)推薦
基于擴(kuò)展描述邏輯的Ontology形式化
語義Web解決的問題是機(jī)哭對Web上知識的理解,使計算機(jī)能夠理解web上的知識,便于計算機(jī)處理,而在語義web的層次結(jié)構(gòu)中,Ontology屢占重要的地位.本文在描述邏輯的基礎(chǔ)之上,引入模態(tài)邏輯和時態(tài)邏輯,用于表達(dá)語義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)邏輯【基于擴(kuò)展描述邏輯的Ontology形式化】相關(guān)文章：
基于描述邏輯的地圖語義模型初步研究04-27
邏輯演算與形式化方法04-30
關(guān)于辯證邏輯形式化問題04-28
資源描述框架的形式化表示問題研究04-30
Ontology格義04-27
基于模糊邏輯的組合導(dǎo)引律04-28
基于極小擴(kuò)展原理的表現(xiàn)外延及其性質(zhì)04-26
帶空洞的復(fù)雜面域間拓?fù)潢P(guān)系的形式化描述04-29