語義Web是當前Web的擴展,它賦予Web資源信息機器可理解的語義,從而便于人和計算機之間的交互與協(xié)作。為了讓機器能夠理解Web資源信息并做推理,需要建立本體,并利用本體語言來表示語義Web中的知識和語義。目前,面向語義Web的本體語言主要有OIL, DAML+OIL和OWL等。為了使語義Web具備可推理的性質,上述本體語言都以描述邏輯作為邏輯基礎。 由于很多語義Web應用需要處理大量的模糊知識,而現(xiàn)有描述邏輯及OWL語言不能直接用于模糊知識的表示和推理,因而近年來國內外大量的研究工作致力于描述邏輯及OWL的模糊擴展。然而,通過分析國內外在描述邏輯模糊擴展、描述邏輯推理機實現(xiàn)以及OWL模糊擴展等方面的研究現(xiàn)狀發(fā)現(xiàn),現(xiàn)有描述邏輯以及OWL語言的模糊擴展無法表示含有自定義模糊數(shù)據(jù)類型及自定義模糊數(shù)據(jù)類型謂詞的模糊數(shù)據(jù)信息,而這類復雜模糊數(shù)據(jù)類型信息在很多數(shù)據(jù)和知識密集型實際應用中發(fā)揮著關鍵的作用。為此,本文對支持自定義模糊數(shù)據(jù)類型及謂詞表示的模糊描述邏輯、相應的推理機以及相應的模糊OWL擴展語言展開了深入的研究。具體研究內容包括以下幾個方面： (1)首先,通過與XML Schem...

【文章頁數(shù)】：153 頁

【學位級別】：博士

【部分圖文】：

圖1.1語義Web架構

語義web的架構是一個功能逐層增強的層次化結構l4](如圖1.1所示)。第一層unicode是一個字符集，這個字符集中所有字符都用兩個字節(jié)表示，可以表示65536個字符，基本上包括了世界上所有語言的字符。數(shù)據(jù)格式采用Unicode的好處就是它支持世界上所有主要語言的混合，并且可以....

圖5.2FREsGI.0推理機的運行結果

圖5.2FREsGI.0推理機的運行結果Figs·2TherunningresultsofFRESGI.0reasoner的概念轉化為用只月LC(G)語法表示的概念歸R.洲S.(C門D)))日Tj，乃，乃.(E，八場)));然后，通過FKESGI.0推理轉換部分將檢查概念的可滿

圖5.3模糊描述邏輯推理機之間的關系

模糊數(shù)據(jù)類型及自定義模糊數(shù)據(jù)類型謂詞的模糊數(shù)據(jù)類型信息的推理。FRESGI.0雖然在推理能力上不能成為現(xiàn)有模糊描述邏輯推理機的超集，但也不是其子集。FRESGI.O與其他模糊推理機的推理能力之間的關系，如圖5.3所示。其中，U代表人類知識;虛線所示的圓表示FRESGI.0推理機;....

圖5.4FRESGI.O推理機的性能Fig5.4PerformaneeoftheFRESGI.oreasoner

境是:PC機的基本配置是雙核1.SGHzPentiumCPU，IG內存，Wi統(tǒng)。表5.5給出了推理時間與不同規(guī)模的ABox的對應關系。在圖5.時間隨著ABox規(guī)模的變化而變化的曲線。需要指出的是，因為不不同的表達能力(如圖5.3所示)，所以很難將FREsGI.。推理機與輯推理機進....

本文編號：4045429