基于擴(kuò)展描述邏輯的Ontology形式化

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

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

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

刊 名： 管理學(xué)家  英文刊名： GUANGLI XUEJIA  年，卷(期)： 2009 ""(5)  分類號(hào)：   關(guān)鍵詞： 語義web   Ontology   描述邏輯   模態(tài)邏輯   時(shí)態(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

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

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