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

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

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

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

刊 名： 管理學家  英文刊名： 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

基于模糊邏輯的組合導引律04-28

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

帶空洞的復雜面域間拓撲關(guān)系的形式化描述04-29

帶空洞的復雜面域間拓撲關(guān)系的形式化描述04-28

基于模糊邏輯的高性能融合制導研究04-30