國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 中 國(guó) 科 學(xué) 院 國(guó) 家科 學(xué)圖書(shū)館蘭 州分 館 信息系 統(tǒng) 部 科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 版本 日期 作者 內(nèi)容 013巍 初始版本。 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 目 錄 版本更新歷史 . I 1. 引言 . 1 研究背景及意義 . 1 國(guó)內(nèi)外研究現(xiàn)狀 . 2 研究目標(biāo)和內(nèi)容 . 3 研究目的 . 3 研究?jī)?nèi)容 . 3 2. 語(yǔ)義 詞表與本體 . 5 語(yǔ)義 述 . 5 語(yǔ)義 . 5 語(yǔ)義 . 6 敘詞表概述 . 10 敘詞語(yǔ)言與敘詞表 . 10 敘詞表的結(jié)構(gòu) . 11 本體概述 . 11 本體的定義及分類 . 12 本體的建模元語(yǔ) . 13 本體的描述語(yǔ)言 . 14 3. 關(guān)聯(lián)規(guī)則挖掘算法 . 18 關(guān)聯(lián)規(guī)則挖掘概念 . 18 關(guān) 聯(lián)規(guī)則的種類 . 19 經(jīng)典關(guān)聯(lián)規(guī)則挖掘算法 . 20 法的挖掘步驟 . 20 法性質(zhì) . 21 法 . 21 4. 基于主題詞間語(yǔ)義關(guān)聯(lián)的文獻(xiàn)檢索、推薦功能設(shè)計(jì)及實(shí)現(xiàn) . 23 系統(tǒng)框架 . 23 功能的主要模塊 . 23 開(kāi)發(fā)環(huán)境及使用的關(guān)鍵技術(shù) . 24 功能的開(kāi)發(fā)環(huán)境 . 24 關(guān)鍵技術(shù) . 24 結(jié)合轉(zhuǎn)化 . 27 構(gòu)建本體框架 . 27 通過(guò)轉(zhuǎn)化 . 28 通過(guò)關(guān)聯(lián)規(guī)則挖掘補(bǔ)充本體關(guān)聯(lián)屬性 . 30 基于本體實(shí)現(xiàn)檢索、推薦 . 32 本體維護(hù)策略 . 38 5. 用戶測(cè)試及反饋意見(jiàn) . 39 6. 結(jié)語(yǔ) . 40 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 11. 引言 研究背景及意義 語(yǔ)義 當(dāng)前 用 的 主要 發(fā)展方向 之一 ，本體是語(yǔ)義 系結(jié)構(gòu)中用于 描述概念及概念之間的語(yǔ)義關(guān)系的核心層。目前國(guó)內(nèi)外對(duì)本體的研究很多，各領(lǐng)域都在各自專家的參與下構(gòu)建自己的領(lǐng)域本體。在領(lǐng)域本體的構(gòu)建過(guò)程中存在一些問(wèn)題：第一，質(zhì)量難以保證。本體的建設(shè)需要花費(fèi)大量的人力物力來(lái)搜集領(lǐng)域內(nèi)各種概念術(shù)語(yǔ)及概念之間的關(guān)系，由于人為的因素容易出現(xiàn)領(lǐng)域概念搜集的不完全，概念關(guān)系定義的不準(zhǔn)確等情況，影響本體建設(shè)的 質(zhì)量；第二，概念關(guān)系描述的不一致。目前對(duì)于領(lǐng)域本體的建設(shè)沒(méi)有一個(gè)統(tǒng)一的知識(shí)組織體系，本體中對(duì)于概念關(guān)系的描述使用不同的標(biāo)簽，導(dǎo)致本體之間語(yǔ)義互通性降低，也降低了本體重用性。 傳統(tǒng)的知識(shí)組織體系，如：分類法、標(biāo)題詞表、敘詞表等，在傳統(tǒng)的知識(shí)組織中已經(jīng)發(fā)揮了巨大的作用，并在多年應(yīng)用實(shí)踐中不斷發(fā)展成熟。其中，敘詞表是用來(lái)表達(dá)知識(shí)關(guān)系模式的一種知識(shí)組織工具，形成于上世紀(jì) 50年代末， 是在標(biāo)題詞語(yǔ)言和元詞語(yǔ)言的基礎(chǔ)上借鑒了分面組配的原理形成的一種基于概念分面組配的知識(shí)組織工具。敘詞 (以概念為基礎(chǔ) ，經(jīng)過(guò)規(guī)范化 的可以用作標(biāo)引的詞匯。非敘詞 (敘詞的同義詞或準(zhǔn)同義詞， 不能用于標(biāo)引或檢索，只能起指引作用的詞。敘詞表中有大量的敘詞和非敘詞，基本涵蓋了領(lǐng)域內(nèi)的概念術(shù)語(yǔ)，一般用于專業(yè)領(lǐng)域內(nèi)知識(shí)的組織，這與領(lǐng)域本體的結(jié)構(gòu)和建設(shè)目的基本相同。目前敘詞表在很多數(shù)字圖書(shū)館、數(shù)字分類系統(tǒng)中都在發(fā)揮著重要的作用。 隨著社會(huì)的發(fā)展，新的詞匯不斷出現(xiàn)，現(xiàn)有概念分支也需要重新結(jié)構(gòu)化；在語(yǔ)義 義關(guān)系的描述要求更加精確，不同學(xué)科不同類型的資源 需要統(tǒng)一的知識(shí)組織體系框架進(jìn)行整合，通過(guò)知識(shí)組織體 系 (概念術(shù)語(yǔ)、約束、 關(guān)系、公理的表達(dá) )的參照、映射或其他方法，理解多個(gè)領(lǐng)域的知識(shí)表達(dá)，從 而實(shí)現(xiàn)語(yǔ)義 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 2 語(yǔ)義 豐富的表達(dá)能力，因此怎樣利用傳統(tǒng)的敘詞表選擇一種通用的知識(shí)組織體系來(lái)構(gòu)建本體成為目前普遍關(guān)注的問(wèn)題。因此本文選擇這個(gè)問(wèn)題作為切入點(diǎn)，研究語(yǔ)義 國(guó)內(nèi)外研究現(xiàn)狀 目前國(guó)際上比較有影響力的智能推薦系統(tǒng)包括： J， L 和 提出了一個(gè)利用神經(jīng) 網(wǎng)絡(luò)和遺傳 種挖掘技術(shù)如關(guān)聯(lián)規(guī)則挖掘、聚類挖掘等被應(yīng)用于 志的分析中，以提高推薦系統(tǒng)的精確度。 學(xué)數(shù)字圖書(shū)館項(xiàng)目組開(kāi)發(fā)的基于內(nèi)容過(guò)濾和協(xié)同過(guò)濾的推薦系統(tǒng)，用于推薦 特點(diǎn)是綜合了基于內(nèi)容過(guò)濾的推薦和協(xié)同過(guò)濾推薦的優(yōu)點(diǎn)，同時(shí)支持兩種類型的推薦服務(wù)。 目前國(guó)內(nèi)已出現(xiàn)了一些個(gè)性化推薦原型系統(tǒng)，如： 清華大學(xué)面向 出了一個(gè)基于 提供了一個(gè)開(kāi)放性的信息組織環(huán)境，使用向量空間法和社會(huì)過(guò)濾兩種信息過(guò)濾方式幫助用戶獲取有用信息。 中國(guó)人民大學(xué)開(kāi)發(fā)了數(shù)字圖書(shū)館個(gè)性化信息服務(wù)系統(tǒng) 系統(tǒng)是一個(gè)集合資源推薦、咨詢服務(wù)和信息檢索為一體的服務(wù)平臺(tái)，可根據(jù)用戶的專業(yè)特征和研究興趣，向用戶提供和推薦教學(xué)科研資料和信息。 目前國(guó)內(nèi)外研究的一些推薦模型，主要是基于協(xié)同過(guò)濾技術(shù)或協(xié)同過(guò)濾與數(shù)據(jù)挖掘混合的方式；但是，協(xié)同過(guò)濾技術(shù)需要用戶相當(dāng)程度的參與（如用戶對(duì)檢索到的項(xiàng)目進(jìn)行評(píng)分等方式）或者對(duì)用戶行為進(jìn)行挖掘才能實(shí)現(xiàn)。 因此，考慮到科研文獻(xiàn)的檢索使用目的與一般的圖書(shū)，多媒體或電子商業(yè)等不同，不能要求用戶過(guò)多的參與到檢索結(jié)果的評(píng)價(jià)體系中來(lái)，所以，本系統(tǒng)希望從主題詞或文獻(xiàn)的主題詞入手，利用 將相關(guān)領(lǐng)域的敘詞表轉(zhuǎn)化為領(lǐng)域主題詞本體，然后結(jié)合知識(shí)資源集合中資源間的主題詞間的關(guān)系通過(guò)關(guān)聯(lián)規(guī)則算法來(lái)計(jì)算主題詞間的關(guān)聯(lián)度并將關(guān)聯(lián)關(guān)系補(bǔ)充進(jìn)本體；當(dāng)用戶發(fā) 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 3 生檢索行為時(shí)將檢索結(jié)果帶入領(lǐng)域主題詞本體，通過(guò)匹配和推理的方法獲取具有上位、下位、關(guān)聯(lián)等屬性的主題詞并通過(guò)將發(fā)現(xiàn)的主題詞映射文獻(xiàn)的方式發(fā)現(xiàn)語(yǔ)義相 關(guān)的文獻(xiàn)，向用戶進(jìn)行推薦。 研究目標(biāo)和內(nèi)容 研究目的 本研究申請(qǐng)的目的旨在利用敘詞表對(duì)文獻(xiàn)系統(tǒng)或知識(shí)庫(kù)平臺(tái)中知識(shí)資源集合的主題詞進(jìn)行語(yǔ)義規(guī)范和標(biāo)引并將相關(guān)領(lǐng)域敘詞表轉(zhuǎn)化為領(lǐng)域知識(shí)本體，然后對(duì)知識(shí)資源集合進(jìn)行規(guī)范主題詞的關(guān)聯(lián)規(guī)則挖掘并將關(guān)聯(lián)規(guī)則補(bǔ)充進(jìn)本體中，最終利用生成的本體為文獻(xiàn)系統(tǒng)或知識(shí)庫(kù)平臺(tái)提供語(yǔ)義化文獻(xiàn)檢索和推薦服務(wù)支持應(yīng)用接口。本項(xiàng)目的應(yīng)用目標(biāo)是希望用戶進(jìn)行檢索時(shí)除了為用戶提供檢索結(jié)果外還為用戶提供合理的關(guān)聯(lián)文獻(xiàn)，提高當(dāng)前文獻(xiàn)系統(tǒng)或知識(shí)庫(kù)對(duì)用戶的吸引力和用戶的忠誠(chéng)度。本項(xiàng)目的研究目標(biāo)是希望在脫離推薦 系統(tǒng)領(lǐng)域傳統(tǒng)的協(xié)同過(guò)濾技術(shù)的應(yīng)用背景下通過(guò)轉(zhuǎn)化敘詞表和關(guān)聯(lián)規(guī)則的方式構(gòu)建領(lǐng)域知識(shí)本體，并利用本體為用戶提供檢索和推薦等服務(wù)，同時(shí)，通過(guò)改進(jìn)關(guān)聯(lián)規(guī)則算法實(shí)現(xiàn)本體中相關(guān)關(guān)聯(lián)屬性的動(dòng)態(tài)更新并構(gòu)建人工維護(hù)本體流程保證本體的時(shí)效性和準(zhǔn)確性。 研究?jī)?nèi)容 圍繞以上研究目標(biāo)，需要研究以下內(nèi)容： （ 1） 數(shù)據(jù)準(zhǔn)備模塊 將借鑒已有的研究成果，主要通過(guò)國(guó)科圖開(kāi)發(fā)建立的開(kāi)放知識(shí)組織引擎選取 成的相關(guān)敘詞表 ， 對(duì)知識(shí)資源集中的 資源進(jìn)行主題詞標(biāo)引 。 （ 2） 本體轉(zhuǎn)換 探索在傳統(tǒng)的知識(shí)組織體系敘詞表的基礎(chǔ)上，依據(jù) 準(zhǔn) 和實(shí)際應(yīng)用需要 構(gòu)建基于 敘詞表的領(lǐng)域本體的實(shí)踐方法。 將用于標(biāo)引的敘詞表，根據(jù)檢索、推薦應(yīng)用的需要 和敘詞表的組織結(jié)構(gòu)，將敘詞表轉(zhuǎn)化 成為 專門應(yīng)用于 知識(shí)資源集 檢索、推薦 的領(lǐng)域本體 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 4 （ 3） 通過(guò)數(shù)據(jù)挖掘 方法 補(bǔ)充本體 將數(shù)據(jù)挖掘的方法應(yīng)用于本體構(gòu)建的過(guò)程，利用關(guān)聯(lián)規(guī)則挖掘算法 作為本體中類概念間的屬性補(bǔ)充到本體中。 同時(shí)定義傳遞推理規(guī)則，在檢索時(shí)可通過(guò)概念關(guān)聯(lián)的傳遞推理獲得更多的關(guān)聯(lián)主題詞。 （ 4） 利用本體實(shí)現(xiàn)檢索 、 推薦功能 通過(guò)輸入檢索詞的方式，實(shí)現(xiàn)對(duì)檢索詞 的規(guī)范化，然后利用規(guī)范概念檢索標(biāo)引后的知識(shí)資源集合獲取規(guī)范檢索、上位檢索、下位檢索、關(guān)聯(lián)檢索的檢索結(jié)果。 在打開(kāi)某條目的詳細(xì)信息時(shí)，利用該條目的主題詞檢索本體獲得與該條目主題相似、相關(guān)、上位主題、下位主題的主題推薦結(jié)果，以及該條目作者獲取的合著作者列表。 （ 5） 本體的更新和維護(hù) 利用 收錄的敘詞表靈活的用機(jī)器的方式轉(zhuǎn)化為領(lǐng)域本體。 通過(guò)站點(diǎn)界面實(shí)現(xiàn)在線的本體編輯和維護(hù)。 每當(dāng)知識(shí)資源集有新資源進(jìn)入時(shí)，可自動(dòng)增量補(bǔ)充本體中概念間的關(guān)聯(lián)實(shí)例。 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 5 2. 語(yǔ)義 詞表與本體 語(yǔ)義 述 始人 發(fā)展分為兩個(gè)階段；在第一個(gè)階段，建立起硬件上的互聯(lián)網(wǎng)絡(luò)，實(shí)現(xiàn) 的資源共享和協(xié)作， 展的最初 十年基本上實(shí)現(xiàn)了這個(gè)目標(biāo)：通過(guò) 頁(yè)的方式向人們提供了大量的信 息；第二個(gè)階段在第一階段的基礎(chǔ)上，利用新的技術(shù)把資源的共享和協(xié)作延伸到機(jī)器，實(shí)現(xiàn)機(jī)器的理解和信息的自動(dòng)處理。 語(yǔ)義 起源 語(yǔ)義 未來(lái) 展的一個(gè)藍(lán)圖。然而到目前為止什么是語(yǔ)義 的定義， 語(yǔ)義 了如下的描述 1：語(yǔ)義 不是一個(gè)孤立的 是對(duì)當(dāng)前 擴(kuò)展，語(yǔ)義 的信息 定義良好的含義，使得計(jì)算機(jī)之間以及人類能夠更好地彼此合作。根據(jù)上面的描述，人們可以給語(yǔ)義 出這樣的定義：語(yǔ)義 機(jī)器可以理解信息 含義的下一代 實(shí)現(xiàn)這一目標(biāo)的難點(diǎn)在于傳統(tǒng)的 言本身的固有缺陷，這種標(biāo)記 語(yǔ)言的標(biāo)簽集只提供對(duì)信息內(nèi)容的顯示格式進(jìn)行標(biāo)記，信息的顯示格式和信息內(nèi)容糅合在一起，缺乏單獨(dú)針對(duì)信息內(nèi)容 語(yǔ)義的標(biāo)簽 2。 言的這種特 點(diǎn)決定了 的信息內(nèi)容很難被機(jī)器所理解，從而制約了一些需要對(duì) 的海量信息進(jìn)行自動(dòng)化處理應(yīng)用的開(kāi)發(fā)。實(shí)現(xiàn) 海量的信息能夠以一 種能夠理解信息語(yǔ)義的方式進(jìn)行交換和管理，當(dāng)前基于 術(shù)已 經(jīng)遠(yuǎn)遠(yuǎn)不能滿足要求 3。 近年來(lái)出現(xiàn)的 可擴(kuò)展標(biāo)記語(yǔ)言 (其相關(guān)的技術(shù)的出現(xiàn)，使傳統(tǒng) 的信息內(nèi)容從面向人瀏覽到 同時(shí)面向計(jì)算機(jī)的自動(dòng)處理邁出了非常重要的一步 。 現(xiàn)了 義標(biāo) 記和格式顯示的分離，使 的信息標(biāo)記包含相應(yīng)的語(yǔ)義，為語(yǔ)義 建立奠定了良好的基礎(chǔ)。 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 6 語(yǔ)義 過(guò)擴(kuò)展現(xiàn)有互聯(lián)網(wǎng)，在信息中加入表示其含義的內(nèi)容，使計(jì) 算機(jī)可以分辨和識(shí)別這些語(yǔ)義信息，并對(duì)其進(jìn)行自動(dòng)解釋、交換和處理，自動(dòng)與人協(xié)同工作。也就是說(shuō)，語(yǔ)義 的各種資源不再只是各種相連的信息， 還包括其信息的真正含義，從而提高計(jì)算機(jī)處理信息的自動(dòng)化和智能化。而計(jì)算機(jī)并不具有真正的智能，語(yǔ)義 建立需要研究者們對(duì)信息進(jìn)行有效的 表示，并制定統(tǒng)一的標(biāo)準(zhǔn)，使計(jì) 算機(jī)可以對(duì)信息進(jìn)行有效的自動(dòng)處理。 從語(yǔ)義 發(fā)展起源來(lái)看，語(yǔ)義 人工智能領(lǐng)域和 術(shù)相互結(jié)合的產(chǎn)物。人工智能領(lǐng)域中的知識(shí)工程研究從孤立的知識(shí)庫(kù)系統(tǒng)逐漸發(fā)展到基于 信息系統(tǒng)集成，最后擴(kuò)展到整個(gè) 這個(gè)研究 過(guò)程中，逐漸加深了對(duì)知識(shí)表示和推理的認(rèn)識(shí)，并總結(jié)出了一些新的描述和推理方法。另一方面， 過(guò)十幾年的發(fā)展，積累了海量信息，需要一種新 的、機(jī)器可以自動(dòng)完成的方式來(lái)處理和管理。因此，當(dāng)兩個(gè)領(lǐng)域的積累都比較成熟，就必然會(huì)走向結(jié) 合 5。 語(yǔ)義 立的基礎(chǔ)是知識(shí)的概念化和形式化以及相應(yīng)的推理。許多分 析都需要從人工智能領(lǐng)域的角度來(lái)考察。但是由于兩者的應(yīng)用環(huán)境不同，還存在著一些差異。傳統(tǒng)的人工智能系統(tǒng)是一種集中、孤立 (專有 )的系統(tǒng)。語(yǔ)義 的知識(shí)，是一系列對(duì)資源的建模及描述。資源，是一個(gè)非常廣泛的概 念，它可以是網(wǎng)站、網(wǎng)頁(yè)、甚至網(wǎng)頁(yè)的某一個(gè)部分的內(nèi)容。這種描述采用某種形式的符號(hào)和表達(dá)式對(duì) 的與該資源相關(guān)的其它資源，以及這些資源之 間的關(guān)系進(jìn)行刻畫(huà)。和傳統(tǒng)的人工智能系統(tǒng)不同，語(yǔ)義 知識(shí)表示的特 殊性在于，它本 身要符合 分散性和通用性的特點(diǎn)，要求能夠被各種各 樣的應(yīng)用實(shí)現(xiàn)共同理解，并且在一定的邏輯規(guī)則的指導(dǎo)下進(jìn)行推理。所以語(yǔ)義 的知識(shí)具有創(chuàng)建上的分散性，同時(shí)又具有應(yīng)用上的通用性。這是語(yǔ)義 傳統(tǒng)的人工智能系統(tǒng)的一個(gè)非常重要的區(qū)別。 語(yǔ)義 體系結(jié)構(gòu) 為了實(shí)現(xiàn)語(yǔ)義 各種智能化服務(wù)，研究者們開(kāi)發(fā)了許多新技術(shù)并提 出了一系列的技術(shù)標(biāo)準(zhǔn)。 直致力于語(yǔ)義 術(shù)的研究， 并一直關(guān)注語(yǔ)義 術(shù)的發(fā)展，在綜合了語(yǔ)義 究領(lǐng)域的最新成果的 基礎(chǔ) 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 7 上 ，提出了語(yǔ)義 型。這一模型得到了語(yǔ)義 究者的認(rèn)同。 會(huì)上提出的語(yǔ)義 系結(jié)構(gòu)如圖 1 所示： 圖 義 體系結(jié)構(gòu)圖 （ ） 從中可以看出他所建議的語(yǔ)義 層： 第一層： (編碼層 ) 語(yǔ)義 用統(tǒng)一資源標(biāo)識(shí)符 (標(biāo)識(shí) 資源及其屬性， 是整個(gè)語(yǔ)義 基礎(chǔ) ； 一編碼 )給每個(gè)字符提供了一個(gè)唯一的數(shù)字標(biāo)識(shí)，使任何平臺(tái)、任何程序、任 何語(yǔ)言都能夠處理資源的編碼。 第二層： 法層 ) 在 上，是 相關(guān)技術(shù)層。 許用戶根據(jù)需 要自定義一些“有意義的”標(biāo)簽對(duì)發(fā)布的內(nèi)容進(jìn)行標(biāo)記。并使用文檔類型定義 約束這些標(biāo)簽的結(jié)構(gòu)。由于 簽由用戶根據(jù) 自己的需要來(lái)定制，這樣不可避免地會(huì)造成標(biāo)簽同名的情況，為了避免這樣的沖突， 用 制 6。對(duì) 格的定義是： 用 以區(qū)別的，在 件的元素和屬性中出現(xiàn)的所有名 稱的集合。有了 戶就可以保證在他的文件中使用的名稱是獨(dú)一 無(wú)二的。 科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 8 層的數(shù)據(jù)交換格式，它只是解決了文檔內(nèi)容的次序、結(jié)構(gòu) 的問(wèn)題，并沒(méi)有解決文檔內(nèi)容的語(yǔ)義、聯(lián)系的問(wèn)題。標(biāo)簽的具體含義的定義和互操作要交給上一層去解決。 第三層： 數(shù)據(jù)層 )78 資源描述框架 (稱 是 薦的一種標(biāo)準(zhǔn)，專 門用于表達(dá)關(guān)于 源的元數(shù)據(jù)，比如 面的標(biāo)題、作者和修改時(shí)間， 檔的版權(quán)和許可信息，某個(gè)被共享資源的可用計(jì)劃 表等。 基礎(chǔ)思想是用 識(shí)符 (稱作統(tǒng)一資源標(biāo)識(shí)符， 標(biāo)識(shí)事物，用簡(jiǎn)單的屬性 (屬性值來(lái)描述資源。 出了一個(gè)簡(jiǎn)單的模型用來(lái)表示任意類型的數(shù)據(jù)。這個(gè)數(shù)據(jù)類型由節(jié)點(diǎn)和節(jié)點(diǎn)之間帶有標(biāo)記的連接弧所組成。節(jié)點(diǎn)用來(lái)表示 的資源，弧用來(lái) 表示這些資源的屬性。因此，這個(gè)數(shù) 據(jù)模型可以方便的描述對(duì)象 (或者資源 )以 及它們之間關(guān)系。 數(shù)據(jù)模型實(shí)質(zhì)上是一種二元關(guān)系的表達(dá)，由于任何 復(fù)雜的關(guān)系都可以分解為多個(gè)簡(jiǎn)單的二元關(guān)系，因此 數(shù)據(jù)模型可以作 為其他任何復(fù)雜關(guān)系模型的基礎(chǔ)模型。也可以用三元組的形式表示， 個(gè)陳述都可以寫成一個(gè)依次為主體，謂詞，客體的三元組。每一個(gè)三元組均對(duì)應(yīng)于圖中的一條弧，且這個(gè)弧的起始節(jié)點(diǎn)和終止節(jié)點(diǎn)分別是陳述中的主體和客體。 要用于應(yīng)用程序?qū)π畔⒌奶幚矶皇莾H僅作為信息的顯示。 為它的句法，提供了一種用于表達(dá)信息、并 使其能在應(yīng)用程序間交 換而不喪失語(yǔ)義的通用框架。利用這個(gè)通用框架，應(yīng)用程序設(shè)計(jì)者可以利用已有的通用及通用的處理工具來(lái)處理在不同應(yīng)用程序 間交換的信息，這種特性也可以使非創(chuàng)建者的其他的用戶可以通過(guò)應(yīng)用程序利用這些信息。 是，在某些情 況下，用戶希望能夠根據(jù)需要自定義一些詞匯，然后用這些詞匯來(lái)描述資源。 些類和特性被稱 為 們需要通過(guò) 匯描述語(yǔ)言 定義 910。 供基本的資源類型和屬性，并允許用戶定 義自己的資源類型與屬性。 個(gè)核心屬性： 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 9 四個(gè)核心約束： 述資源的總類， 別描述屬性和 類， 述資源的類型， 別表示資 源的類和子類、屬性和子屬性之間的關(guān)系， 出與主體相關(guān)的資 源， 義主體資源是 定主體和客體的取值范圍，這種限定 具有繼承關(guān)系，類和屬性 的定義域和值域可以向下繼承。 提供了描述相關(guān)資源集合以及資 源關(guān)系的機(jī)制。 具有的這些能力本身也是 些 匯是一組帶有特殊含義的、預(yù)定義的 源。這些資源的 前綴 #。 匯描述(是合法的 。因此，即使一個(gè)軟件不是專為處理新 加的 它仍然可以將 釋為一個(gè)包含了各 種資源和特性的合法 是這個(gè)軟件并不能 “ 理解 ” 新添加的 語(yǔ)的內(nèi)在含義。為了理解新加術(shù)語(yǔ)的含義， 種擴(kuò)展語(yǔ)言。這種擴(kuò)展語(yǔ)言不僅僅包含 綴的詞匯，而且還包含了 綴的詞匯，以及這些詞匯的內(nèi)在含義。 第四層： 體詞匯層 ) 以定義類、子類、超類，并且可以定義屬性和子屬性， 以及它們的約束，如：域 (范圍 (，因此，在某 種意義上說(shuō) 身就是一種簡(jiǎn)單的本體語(yǔ)言。但是 )對(duì)特定應(yīng)用領(lǐng)域的 詞匯的描述能力比較弱，需要進(jìn)行擴(kuò)展，這個(gè) )之上的擴(kuò)展層稱為 (這一層在 行基本的類、屬性描述之后，更進(jìn)一步 地描述了術(shù)語(yǔ)和它們之間的聯(lián)系，并可以利用一些本體語(yǔ)言，來(lái)對(duì)領(lǐng)域知識(shí)進(jìn)行建模，定義一些面向領(lǐng)域的共享詞匯。 第五、六、七層： 輯層 ) 基于語(yǔ)義 理。邏輯層的目 標(biāo)就是提供一種方法來(lái)描述規(guī)則。基于描述邏輯的形式化知識(shí)嵌 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 10 入到被描述的文檔之中。 個(gè)成熟的說(shuō)法。但是語(yǔ)義 的來(lái)說(shuō)，語(yǔ)義 過(guò) 應(yīng)用邏輯推理，得出某種結(jié)論。這個(gè)推理的過(guò)程，就是一種證明，推理最后得出的結(jié)論也應(yīng)該是可以信任的。 邏輯層提供了規(guī)則，從而便于進(jìn)行推理。而證據(jù)層則在此基礎(chǔ)上使代理可以交換推理的結(jié)果。為了檢查這些結(jié)果，需要將各代理的內(nèi)部推理機(jī)制轉(zhuǎn)化為一種通 用的證據(jù)表示語(yǔ)言。從 有對(duì)資源的描述都貫穿數(shù)字簽 名技術(shù)。數(shù)字簽名技術(shù)就是對(duì)資源描述者的身份進(jìn)行認(rèn)證的關(guān)鍵性技術(shù)，是建立可信任網(wǎng)頁(yè)的基石。 敘詞表概述 敘詞語(yǔ)言與敘詞表 敘詞語(yǔ)言形成于上世紀(jì) 50年代末，在標(biāo)題詞語(yǔ)言和元詞語(yǔ)言的基礎(chǔ)上借鑒了分面組配的原理形成的一種基于概念分面組配的主題語(yǔ)言。敘詞是一種主題詞，它是在文獻(xiàn)標(biāo)引與檢索中用以表達(dá)文獻(xiàn)的主題而規(guī)范化的詞。根據(jù)語(yǔ)敘詞表編制規(guī)則定義：敘詞表是將文獻(xiàn)、標(biāo)引人員或用 戶的自然語(yǔ)言轉(zhuǎn)換成規(guī)范語(yǔ)言的一種術(shù)語(yǔ)控制工具；它是概括各門 或某一學(xué)科領(lǐng)域并由語(yǔ)義相關(guān)、族性相關(guān)的術(shù)語(yǔ)組成的可以不斷補(bǔ)充的規(guī)范化的詞表。 敘詞表中除了包含了領(lǐng)域中的敘詞還包括了一部分非敘詞。非敘詞是敘詞的同義詞或準(zhǔn)同義詞，在敘詞表中規(guī)定不能用于標(biāo)引和檢索，只起指引作用的詞。 敘詞之間、敘詞與非敘詞之間通過(guò)各種關(guān)系聯(lián)結(jié)起來(lái)。敘詞表憑借其簡(jiǎn)單的結(jié)構(gòu)，以及靈活性、可擴(kuò)展性 (分面組配 )和集成性 (分類主題一體化 )，成為 主題詞表的發(fā)展主流。 敘詞表適合于學(xué)科和專業(yè)性質(zhì)較強(qiáng)的文獻(xiàn)組織，因此許多典型的敘詞表都是面向某個(gè)學(xué)科或?qū)I(yè)的。各學(xué)科領(lǐng)域基本都有本專業(yè)的敘詞表，從 1959年美 國(guó)杜邦公司編制的第一部敘詞表到 2002年，敘詞表已超過(guò) 2000種，如美國(guó)國(guó) 會(huì)標(biāo)題表 (醫(yī)學(xué)標(biāo)題表 (藝術(shù)和建筑敘詞表 (及漢 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 11 語(yǔ)主題詞表等。在這些敘詞表的基礎(chǔ)上目前已經(jīng)建立了很多的手工檢索工具，并進(jìn)一步發(fā)展成數(shù)據(jù)庫(kù)檢索系統(tǒng)，如三大索引以及各種專業(yè)的數(shù)據(jù)庫(kù)等。 敘詞表的結(jié)構(gòu) 從宏觀上說(shuō)，敘詞表一般由多個(gè)部分組成，提供多種查詞途徑，標(biāo)引選詞時(shí)應(yīng)根據(jù)具體情況，選用最方便、最有效的查詞捷徑。其中，字順表適用于查檢書(shū)面形式比較明確、肯定的詞，并可從一個(gè)敘詞出發(fā)對(duì)它周圍的直接關(guān)聯(lián) 詞“鳥(niǎo)瞰全貌”；范疇索引適用于查檢書(shū)面形式不明確但其學(xué)科、專業(yè)范圍比較明確的敘詞；詞族索引適用于查檢已明確泛指詞而未明確專指詞的敘詞；英漢對(duì)照索引適用于查檢已知英語(yǔ)詞而不能確定其漢語(yǔ)形式的敘詞 11。 從微觀上說(shuō)，敘詞表中包含兩種詞。一種是“標(biāo)引檢索用詞”，這種詞可正式用于標(biāo)引文獻(xiàn)和直接檢索文獻(xiàn)，可稱為正式敘詞 (簡(jiǎn)稱敘詞 )。另一種是 “ 非標(biāo)引檢索用詞” (亦稱入口詞 )，入口詞是詞表收錄、但只能作為查詞入口以 引向正式詞而不能直接用于標(biāo)引和檢索的詞。所以，入口詞稱為非標(biāo)引 詞。入口詞與正式詞是等同的或可 以認(rèn)為是等同的，因此，它們之間以用代關(guān)系處理，即“入口詞用正式詞”、“正式詞代入口詞”。 敘詞的微觀詞款目進(jìn)行了準(zhǔn)確而簡(jiǎn)明定義。在關(guān)系方面，定義了被稱為“用、代、屬、分、參”等 5 種標(biāo)準(zhǔn)關(guān)系，在詞的釋義方面 則有“范圍注釋、語(yǔ)種對(duì)照詞匯”等。 從敘詞表的宏觀結(jié)構(gòu)來(lái)看，大多數(shù)敘詞表的主表基本按照拼音順序進(jìn)行排列，而在輔助表中按照詞族、語(yǔ)種等再進(jìn)行排序。因此可以說(shuō)，敘詞表在微觀結(jié)構(gòu)上是緊密的，而在宏觀結(jié)構(gòu)上則較為松散。這種宏觀結(jié)構(gòu)在印刷本時(shí)代有助于敘詞表的工具書(shū)化 (工具書(shū)的 排列一般采用音序 )，但是在網(wǎng)絡(luò)環(huán)境下就顯 得過(guò)于線性而單調(diào)。從形式上印刷版的敘詞表是簡(jiǎn)單的“樹(shù)”結(jié)構(gòu)，節(jié)點(diǎn)間的順序是預(yù)先確定的。 本體概述 本體作為一種能在語(yǔ)義層次上描述信息的概念模型建模工具，自被提出以來(lái)就引起了國(guó)內(nèi)外眾多科研人員的關(guān)注，并在計(jì)算機(jī)的許多領(lǐng)域得到了廣泛的應(yīng) 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 12 用，如知識(shí)表示和管理、信息系統(tǒng)建模、信息集成、面向?qū)ο蠓治觥④浖?fù)用、信息檢索和 義 。 本體的定義及分類 本體最早是一個(gè)哲學(xué)上的概念，從哲學(xué)的范疇來(lái)說(shuō)，本體是客觀存在的一個(gè)系統(tǒng)的解釋或說(shuō)明，是關(guān)于客觀世界的一 個(gè)特定分類體系，關(guān)心的是客觀現(xiàn)實(shí)的抽象本質(zhì)。后來(lái)隨著人工智能的發(fā)展，被引入到人工智能界并給予了新的定義。在人工智能界，最早給出本體定義的是 人，他們將本體定義 為“給出構(gòu)成相關(guān)領(lǐng)域詞匯的基本術(shù)語(yǔ)和關(guān)系，以及利用這些術(shù)語(yǔ)和關(guān)系構(gòu)成的規(guī)定這些詞匯外延的規(guī)則的定義” 121314。 1993年， 出了本體的一個(gè)最為流行的定義，即 “ 本體是概念模型的明確的規(guī)范說(shuō)明”。后來(lái)， 此基礎(chǔ)上，給出了本體的另外一種定義 “ 本體是共享概念模型的形式化規(guī)范說(shuō)明”。 1998年 對(duì)上述兩個(gè)定義進(jìn)行了深入的研究，給出本體的定義，是“共享概念模型的明確的形式化規(guī)范說(shuō)明”。目前，此定義被大多數(shù)人認(rèn)可。定義包含 4 層含義： （ 1） 概念模型 (通過(guò)抽象出客觀世界中一些現(xiàn)象 (相關(guān)概念而得到的模型， 其表示的含義獨(dú)立于具體的環(huán)境狀態(tài)。 （ 2） 明確 (所使用的概念及使用這些概念的約束都有明確的定義。 （ 3） 形式化 (本體是計(jì)算機(jī)可讀的。 （ 4） 共享 (本體中體現(xiàn)的是共同認(rèn)可的知識(shí)，反映的是相關(guān)領(lǐng)域中公認(rèn)的概念集，它所針對(duì) 的是團(tuán)體而不是個(gè)體。 本體的目標(biāo)是捕獲相關(guān)領(lǐng)域的知識(shí)，提供對(duì)該領(lǐng)域知識(shí)的共同理解，確定該領(lǐng)域內(nèi)共同認(rèn)可的詞匯，并從不同層次的形式化模式上給出這些詞匯 (術(shù)語(yǔ) )和詞匯間相互關(guān)系的明確定義。 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 13 對(duì)本體的分類， 劃分的基礎(chǔ)。詳細(xì)程度是指描述或刻畫(huà)建模對(duì)象的程度，是一個(gè)相對(duì)的、較模糊的一個(gè)概念。依據(jù)詳細(xì)程度可以劃分為參考本體 (共 享本體 ( 依照領(lǐng)域依賴程度，可以細(xì)分為頂級(jí) ( 體 、領(lǐng)域 (體 、任務(wù) (體和應(yīng)用 (體 15。其中： 頂級(jí)本體描述的是最普通的概念及概念之間的關(guān)系，如空間、時(shí)間、事件、行為等等，與具體的應(yīng)用無(wú)關(guān)，其他種類的 是該類 特例。 領(lǐng)域本體描述的是特定領(lǐng)域 (醫(yī)藥、汽車等 ) 中的概念及概念之間的關(guān)系。 任務(wù)本體描述的是特定任務(wù)或行為中的概念及概念之間的關(guān)系。 應(yīng)用本體描述的是依賴于特定領(lǐng)域和任務(wù)的概念及概念之間的關(guān)系。 1999年， 分析和研究了各種本體分類法的基礎(chǔ)上，歸納出 10 種本體：知識(shí)表示本體、普通本體、頂級(jí)本體、元 (核心 )本體、領(lǐng) 域本體、語(yǔ)言本體、任務(wù)本體、領(lǐng)域 法本體和應(yīng)用本體。這種 分類法是對(duì) 出的分類方法的擴(kuò)充和細(xì)化，但是這 10 種本體之間有 交叉，層次不夠清晰。 本體的建模元語(yǔ) 人用分類法組織了本體，歸納出 5 個(gè)基本的建模元語(yǔ) (16： （ 1） 類 (概念 (指任何事務(wù)，如工作描述、功能、行為、策略和推理 過(guò)程。從語(yǔ)義上講，它表示的是對(duì)象的集合，其定義一般采用框架 (構(gòu)，包括概念的名 稱，與其他概念之間的關(guān)系的集合，以及用自然語(yǔ)言對(duì)概念的描述。 （ 2） 關(guān)系 (在領(lǐng)域中概念之間的交互作用，形式上定義為 R:2 子類關(guān)系 (在語(yǔ)義上關(guān)系對(duì)應(yīng)于對(duì)象元組 的集合。 （ 3） 函數(shù) ( 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 14 一類特殊的關(guān)系。該關(guān)系的前 式化的定義為 F: 是一 個(gè)函數(shù)， x,y)表示 y是 （ 4） 公理 (代表永真斷言，如概念乙屬于概念甲的范圍。 （ 5） 實(shí)例 (代表元素。從語(yǔ)義上講實(shí)例表示的就是對(duì)象。 另外，從語(yǔ)義上講，概念的基本的關(guān)系有 4 種： 表 1 概念的基本語(yǔ)義關(guān)系 16 關(guān)系 描述 達(dá)概念之間的 被包含 關(guān)系。 達(dá)概念之間的繼承關(guān)系。 達(dá)概念的實(shí)例與概念之間的關(guān)系。 達(dá)某個(gè)概念是另一個(gè)概念的屬性。 在實(shí)際建模過(guò)程 中，概念之間的關(guān)系不限于上面列出的 4 種基本關(guān)系，可以根據(jù)領(lǐng)域的具體情況定義相應(yīng)的關(guān)系。 本體的描述語(yǔ)言 本體描述語(yǔ)言是用來(lái)描述本體的語(yǔ)言，起源于人工智能領(lǐng)域?qū)χR(shí)表示的研究，因此本體的描述語(yǔ)言不僅僅需要具有良好定義的語(yǔ)法和語(yǔ)義，充分的表達(dá)能力，更需要有效的推理支持。用戶可以選擇不同的描述語(yǔ)言為領(lǐng)域模型編寫清晰、形式化的概念描述。目前，經(jīng)常被使用的本體表示語(yǔ)言大都以框架模型或謂詞演算或兩者相結(jié)合為基礎(chǔ)，最具有代表性的有 有另外一種本體的表示方法就是用概念 圖來(lái)表示本體，一個(gè)典型 例子是外還有一些適合于 )、 本體的描述方式是多種多樣的，若系統(tǒng)不需要太強(qiáng)的推理能力時(shí)，本體可用概念圖的形式表示并存儲(chǔ)，此時(shí)數(shù)據(jù)可以保存在一般的關(guān)系數(shù)據(jù)庫(kù)中，采用圖的匹配技術(shù)來(lái)完成信息檢索。若系統(tǒng)要求比較強(qiáng)的推理能力時(shí)，本體一般要用一種 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 15 描述語(yǔ)言 (如： 行表示，此時(shí)數(shù)據(jù)保存在知 識(shí)庫(kù)中，采用描述語(yǔ)言的邏輯推理能力來(lái)完成信息檢索。 （ 1） 基于人工智能 (稱 本體描述語(yǔ)言 1317 1） ，提供統(tǒng)一的 規(guī)范格式來(lái)構(gòu)建本體的語(yǔ)言。 構(gòu)造和維護(hù)本體提供了統(tǒng)一的、計(jì) 算機(jī)可讀的方式。由 推理系統(tǒng)，使得對(duì)本體的維護(hù)與具體使用它的目標(biāo)表示系統(tǒng)分離開(kāi)來(lái)?？梢园?目標(biāo)語(yǔ)言。目前， 由斯坦福 (學(xué)知識(shí)系統(tǒng)實(shí)驗(yàn)室建立的全球第一個(gè)本體論服務(wù)器就是 采用 為它的本體表示語(yǔ)言。 2） 國(guó)的 984年起開(kāi)始建立常識(shí)性本體 前己形成了規(guī)模非常龐大的本體庫(kù)。 是一種體系龐大而非常靈活的知識(shí)描述語(yǔ)言。該語(yǔ)言在一階謂詞演算的基礎(chǔ)上，擴(kuò)充了等價(jià)推理、缺省推理等功能，而且具備一些二階謂詞演 算的能力。在該語(yǔ)言的環(huán)境中配有功能很強(qiáng)的可進(jìn)行邏輯推理的推理機(jī)。 3） 一種基于一階謂詞邏輯的知識(shí)表示語(yǔ)言，由美國(guó)南加洲大學(xué)信息 科學(xué)學(xué)院設(shè)計(jì)并實(shí)現(xiàn)，屬于描述邏輯 (系。它能夠提供表達(dá)能力強(qiáng)、聲明性的規(guī)范；提供強(qiáng)大的演繹推理能力以及提供多種編程風(fēng)格和知識(shí)庫(kù)服務(wù)。該語(yǔ)言后來(lái)發(fā)展成為 它是基于邏輯的，具備很強(qiáng)表達(dá)能力的描述語(yǔ)言，采用前后鏈規(guī)則 (為其 推理機(jī)制。 4） 由英國(guó)的 驗(yàn)室開(kāi)發(fā)的。 模 語(yǔ)言通過(guò)幾種具體的構(gòu)件 (支持知識(shí)模型的建模架構(gòu)。該語(yǔ)言使得對(duì)函數(shù)、關(guān)系、類、實(shí)例 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 16 和規(guī)則的形式化操作成為可能。它還包括定義本體及問(wèn)題解決方法的機(jī)制。 5） 卡爾斯魯厄大學(xué)開(kāi)發(fā)的 言，是基于框 架邏輯和一階邏輯的。它可以表示概念，概念分類，二元關(guān)系，函數(shù)，實(shí)例，公理和規(guī)則。與前面的幾種語(yǔ)言相比，它是唯一沒(méi)有采用類似 法的語(yǔ)言。其推 理引擎 以用來(lái)進(jìn)行約束檢查和演繹新知識(shí)。 （ 2） 基于 本體描述語(yǔ)言 隨著 現(xiàn)了一系列基于 本體表示語(yǔ)言 24，如 )、 本體在語(yǔ)義 注入了活力。后推薦了 )， 1） 15 馬里蘭大學(xué)計(jì)算機(jī)系提出。 它是簡(jiǎn)單的 一種與 得 網(wǎng)頁(yè)編輯者可以對(duì)他們的互聯(lián)網(wǎng)文檔進(jìn)行標(biāo)注。 它擴(kuò)展了一些標(biāo)記，使得在 可以增加任意的語(yǔ)義數(shù)據(jù)。它的標(biāo)記有兩 類，一類用于創(chuàng)建本體，一類用于注解文檔。 2） ) )是資源描述框架 供了一個(gè)簡(jiǎn)單的模型表示任意類型數(shù)據(jù)，通過(guò)帶有標(biāo) 記的弧連接任意兩個(gè)資源節(jié)點(diǎn)。 供基本的資 源類型和屬性，并允許用戶定義自己的資源類型與屬性。 象及)，是語(yǔ)義 在已有的許多語(yǔ)言，如 是對(duì) )的擴(kuò)展。 3） 在 為 )的擴(kuò)展，是在 基礎(chǔ)上發(fā)展起來(lái)的，目的是提供更多的原語(yǔ)以支持更加豐富的語(yǔ)義表達(dá)，并支持推理。 國(guó)科圖蘭州分館信息系統(tǒng)部 基于主題詞間語(yǔ)義關(guān)聯(lián)規(guī)則挖掘的文獻(xiàn)推薦研究報(bào)告 17 中， 于提供給那些只需要一個(gè)分類層次和簡(jiǎn)單屬性約束的用戶，適合于簡(jiǎn)單 的不需要很強(qiáng)表達(dá)和推理的系統(tǒng)。 L 支持那些需要最強(qiáng)表達(dá)能力的推 理系統(tǒng)的用戶，且這個(gè)推理系統(tǒng)能夠保證計(jì)算的完全性和可判定性，它的目的是支持具有良好計(jì)算性質(zhì)的推理系統(tǒng)。 持那些需要在沒(méi)有計(jì)算保 證的語(yǔ)法自由的