空間信息在眾多領(lǐng)域中起到了越來越重要的作用,伴隨著語義web的快速發(fā)展,空間語義web（Geospatial semantic web）也發(fā)展迅速。隨著語義web的發(fā)展,對空間語義web和空間本體的研究也越來越深入。語義web將是21世紀(jì)信息技術(shù)領(lǐng)域的主要挑戰(zhàn)之一,而空間語義web也必將成為一個非常重要的發(fā)展趨勢。描述邏輯（Description Logics）是一種知識表示的形式化語言,是一階邏輯（FOL）的可判定子集。作為一種知識表示的有效機(jī)制,描述邏輯被廣泛的運(yùn)用到計(jì)算機(jī)科學(xué)的諸多領(lǐng)域當(dāng)中,成為語義web的邏輯基礎(chǔ)和理論基礎(chǔ)。作為基本描述邏輯的重要擴(kuò)展之一,空間描述邏輯（Spatial Description Logics）是空間語義web和空間本體的理論基礎(chǔ)和邏輯基礎(chǔ)。針對當(dāng)前空間描述邏輯和空間語義web中存在的問題,本文主要從以下兩個方面進(jìn)行研究:首先,利用模糊集合論的主要思想從理論上對空間描述邏輯進(jìn)行模糊擴(kuò)展,首次提出一個可以處理不確定空間知識的空間描述邏輯;然后,從應(yīng)用上將空間檢索與語義檢索相結(jié)合,將空間描述邏輯使用到空間語義檢索當(dāng)中,解決了已有空間信息檢索系統(tǒng)的弊端,大... 

【文章來源】：吉林大學(xué)吉林省211工程院校985工程院校教育部直屬院校

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

【學(xué)位級別】：碩士

【部分圖文】：

解釋函數(shù)必須滿足的等式列表

項(xiàng)關(guān)于 T 都是約束的。一個 ABOX A 關(guān)于一個 TBOX T 是約束的僅當(dāng) T 是約束的并且所有在 A 中使用到的概念項(xiàng)都關(guān)于 T 是約束我們來考慮下面的例子：下面的三個術(shù)語都已經(jīng)是展開的 NNF。它們都不是約束的，因?yàn)樗鼈兌歼`反了上述的條件之一。假設(shè) C 是概念名稱，AR 是原子關(guān)系項(xiàng)，CR 是復(fù)雜關(guān)系項(xiàng)，f 是一個特征是一個長度超過 1 的特征式鏈。: { . . } 1 C CT C R R D ， : { . u.P}2 CT C R ， : { . . f.P3 C AT C R R下節(jié)我們給出一個可靠的和完備的推理算法。.1.3 Tableau 算法

去生成一個或者多個后繼的 ABOX，因此規(guī)則的反復(fù)使用會生成 ABOX 構(gòu)建的樹。最終，要么這棵樹上所有葉子結(jié)點(diǎn)的 ABOX 突的，這表明概念 C 是不可滿足的；要么獲得一個沒有沖突的 A且沒有規(guī)則可以再繼續(xù)應(yīng)用到這個 ABOX 之上，在這樣的情況之個 ABOX 稱作是完備的并且是概念 C 的一個模型。反復(fù)運(yùn)用推的目的就是將隱性的知識逐步變得顯性，這個算法可以理解成一的建模過程。

【參考文獻(xiàn)】：
期刊論文
[1]集成多方面信息的定性空間推理及應(yīng)用[J]. 王生生,劉大有,謝琦,王新穎.  軟件學(xué)報. 2003(11)
[2]基于語義網(wǎng)絡(luò)的概念檢索研究與實(shí)現(xiàn)[J]. 李蕾,王楠,鐘義信,郭祥昊,韓鵬,賈自燕,高清霞.  情報學(xué)報. 2000(05)



本文編號：3630172