發(fā)布時(shí)間：2025-05-13 00:03

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

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

【學(xué)位級(jí)別】：博士

【部分圖文】：

圖1.1語(yǔ)義Web架構(gòu)

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

圖5.2FREsGI.0推理機(jī)的運(yùn)行結(jié)果

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

圖5.3模糊描述邏輯推理機(jī)之間的關(guān)系

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

圖5.4FRESGI.O推理機(jī)的性能Fig5.4PerformaneeoftheFRESGI.oreasoner

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

本文編號(hào)：4045429