[發明專利]基于語義搜索的推理方法

無效

• 申請號: 200810062012.1
• 申請日: 2008-05-21
• 公開（公告）號: CN101281533A
• 公開（公告）日: 2008-10-08
• 發明（設計）人: 陳剛;蔡銘;李山亭;趙國榮;唐芳
• 申請（專利權）人: 浙江大學
• 主分類號: G06F17/30
• 分類號: G06F17/30
• 代理公司: 杭州求是專利事務所有限公司
• 代理人: 林懷禹

技術領域

本發明涉及基于語義搜索方法，特別是涉及一種基于語義搜索的推理方法。

背景技術

網絡的出現，極大地改變了人們的生活，豐富了人們的交流方式，增加了人們獲取資料的途徑，加速了信息的流通，影響了人們的休閑方式，等等，可以說，網絡是二十世紀后期以來對人們影響最大的技術。但是目前的網頁，其表達語言為超文本標記語言，即HTML，在發明之初，是面向人的，即網頁的內容通過瀏覽器，展示給人，這導致其內容不能很好的被機器所理解，影響了網頁內容處理的自動化。隨著網絡信息的急劇增長，人們從海量的信息中有效地獲取知識變得困難。

現有的搜索，特別網頁搜索，其方法是基于文本的，即對文本進行分詞，然后再對這些文本中的詞語建立索引，以提高搜索的效率。但是，這種方式的搜索，雖然極大程度上提高了人們查找資料、獲取信息的方便性，也存在著天生的缺陷，即無法處理語義相關的信息。比如，如果需要了解浙江省內的紡織企業信息，以關鍵字“浙江?紡織”進行搜索，發現不了那些介紹杭州紡織企業的相關網頁，除非這些網頁中直接出現“浙江?紡織”這兩個關鍵字。為了處理網頁的語義信息，語義網技術在網頁中增加了元數據，用以對網頁中的資源進行說明。如果要運用這些元數據，來提高搜索的質量，必須要根據這些知識，進行推理，以發掘隱式的知識。

為了讓機器能夠更好的處理網絡資源。萬維網的創始人Tim?Berners-Lee在“科學美國人”上對下一代的網絡作了描繪，認為下一代網絡的將是語義網(Semantic?Web)。運用語義網，能夠極大地加強知識的共享，提高知識處理的自動化程度。語義網的邏輯基礎是描述邏輯(Description?Logic，DL)。如果語義網需要對其表達的知識進行推理，發現其中的隱含知識，則需要運用描述邏輯的推理能力。

目前的研究表明，對于普通表達能力的描述邏輯語言ALC來說，其復雜度是pspace-complete，因此，如果不加以優化，很難應用在網絡化的環境當中。目前已有一些優化策略被應用于描述邏輯的推理過程中，比如緩沖(cache)，延遲展開(Lazy?Unfolding)等，但是對于ALC這樣表達能力較弱的描述邏輯來說，其復雜度已經是pspace-complete。現有的這幾種優化策略，推理效率低，時間復雜度高，使得描述邏輯的應用受到了很大的制約，很難在網絡搜索中應用。

發明內容

本發明的目的在于提供一種基于語義搜索的推理方法，是用于語義搜索的推理步驟中的，采用近似化的方法來提高推理效率，對ABox和TBox推理進行算法復雜度評估，當算法復雜度大于一定的閾值時，采用近似推理方法計算，并對近似推理所得的推理結果進行修正，得到最終的推理結果。

本發明采用的技術方案是：

1.該方法的步驟如下：

(1)設定閾值，對ABox和TBox的推理進行算法復雜度評估，當算法復雜度大于閾值時，繼續執行，否則，執行步驟(3)；

(2)采用推理方法進行推理，執行步驟(4)；

(3)采用Fact++推理機中的推理方法進行推理，得到最終推理結果，結束；

(4)對步驟(2)所得的推理結果進行修正，把修正后的結果作為最終推理結果，結束。

2.根據1所述步驟(1)中對ABox和TBox的推理進行算法復雜度評估，具體包括如下步驟：

(1)對ABox推理的算法復雜度評估，首先，對ABox進行Precompletion處理，并對Precompletion的算法復雜度進行評估，ABox在經過Precompletion處理之后，對ABox的推理就歸約到對TBox的推理；

(2)對以tableaux算法為基礎的TBox推理進行算法復雜度評估。

3.根據2所述步驟(1)中對ABox的Precompletion處理過程進行算法復雜度評估；TBox記為TB，ABox記為AB，概念記為C，個體記為a，用C(a)表示個體a屬于概念C，用函數T(C(a))表示對TB，AB|＝C(a)判定的時間估算，運算符“|＝”為ABox一致檢查中分類優化的重構運算符，對ABox的Precompletion處理過程進行算法復雜度評估，依次按照如下步驟進行算法評估，并且循環執行如下步驟，直到AB沒有擴展的規則為止，具體包括如下步驟：