- 相關推薦
基于擴展描述邏輯的Ontology形式化
語義Web解決的問題是機哭對Web上知識的理解,使計算機能夠理解web上的知識,便于計算機處理,而在語義web的層次結構中,Ontology屢占重要的地位.本文在描述邏輯的基礎之上,引入模態邏輯和時態邏輯,用于表達語義web上的模態語義,從而實現豐富web上的語義信息.
作 者： 賈延明 高崢 作者單位： 賈延明(河南商丘科技職業學院)高崢(河南新鄉學院現代教育技術中心)
刊 名： 管理學家 英文刊名： GUANGLI XUEJIA 年，卷(期)： 2009 ""(5) 分類號： 關鍵詞： 語義web Ontology 描述邏輯 模態邏輯 時態邏輯【基于擴展描述邏輯的Ontology形式化】相關文章：
基于描述邏輯的地圖語義模型初步研究04-27
邏輯演算與形式化方法04-30
關于辯證邏輯形式化問題04-28
資源描述框架的形式化表示問題研究04-30
Ontology格義04-27
基于模糊邏輯的組合導引律04-28
基于極小擴展原理的表現外延及其性質04-26
帶空洞的復雜面域間拓撲關系的形式化描述04-29
帶空洞的復雜面域間拓撲關系的形式化描述04-28
基于模糊邏輯的高性能融合制導研究04-30