為了在語義Web中實(shí)現(xiàn)知識(shí)的可重用性和高度互用性,通常使用本體來表示領(lǐng)域知識(shí)�；诒倔w的知識(shí)表示和推理是語義Web的重要組成部分。描述邏輯（Description logics,簡稱DLs）是一種形式化表示知識(shí)的方法,是OWL DL等Web本體語言的理論基礎(chǔ)。描述邏輯最顯著的特征是其內(nèi)置的推理機(jī)制。利用這一機(jī)制,可以由知識(shí)庫中顯式存儲(chǔ)的知識(shí)推導(dǎo)出隱含的信息。描述邏輯的基本推理服務(wù)包括知識(shí)庫可滿足性檢查、概念包含檢查和實(shí)例檢索等。為了表示語義Web應(yīng)用中廣泛存在的模糊和不精確信息,已有大量的研究工作致力于描述邏輯的模糊擴(kuò)展,并設(shè)計(jì)出符合模糊描述邏輯特性的推理服務(wù),開發(fā)出相應(yīng)的推理算法和推理機(jī)系統(tǒng)。在數(shù)據(jù)密集型的應(yīng)用中,描述邏輯知識(shí)庫和本體的查詢占據(jù)著重要的位置。實(shí)例檢索等簡單形式的查詢表達(dá)能力相對(duì)較弱,無法有效地表達(dá)用戶的查詢意圖。源于數(shù)據(jù)庫領(lǐng)域的合取查詢（conjunctive queries, CQs）,近來被視為查詢和訪問描述邏輯知識(shí)庫的一種理想形式,它提供了比實(shí)例檢索表達(dá)能力更豐富的查詢語言。通過對(duì)國內(nèi)外在描述邏輯模糊擴(kuò)展、（模糊）描述邏輯合取查詢、（模糊）描述邏輯推理機(jī)和查詢引... 

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

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

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

【部分圖文】：

語義Wets分層模型

如圖1.1所示。隨著語義Web理論和技術(shù)的發(fā)展，該模型得到了進(jìn)一步的修正和擴(kuò)展[4]，如圖1.2所示。各部分的功能如下：URI 和 Unicode 層。統(tǒng)一資源標(biāo)識(shí)符 URI (Uniform Resource Identifier)是統(tǒng)一資源定位符URL (Uniform Resource Locator)的超集，用于唯一標(biāo)識(shí)（語義）Web上的資源（包括文檔、圖像、視頻片段和程序等）。這樣，在使用某個(gè)資源時(shí)只需使用URI引用它，而無需拷貝和集中管理資源。Unicode是一種字符編碼標(biāo)準(zhǔn)，包括了世界上絕大多數(shù)語言的字符。用Unicode編碼語義Web上的資源，是實(shí)現(xiàn)語義Web多語種支持的基礎(chǔ)。XML 層。該層還包括命名空間(namespace)和 XML Schema。XML(extensibleMarkup Language,可擴(kuò)展標(biāo)記語言）是描述數(shù)據(jù)及其結(jié)構(gòu)的語言。通過XML可以將Web資源的內(nèi)容、結(jié)構(gòu)與表現(xiàn)形式（即格式）分離，這是不同應(yīng)用之間結(jié)構(gòu)化數(shù)據(jù)交換的基礎(chǔ)。XML通過命名空間來指定文檔的語境，這樣同一個(gè)詞匯加上不同的語境可以構(gòu)成不同的URI。XML Schema用于描述XML文檔的結(jié)構(gòu)

FreQ推現(xiàn)機(jī)運(yùn)行結(jié)果


本文編號(hào)：3304982