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

無效

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

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沒有擴展的規則為止，具體包括如下步驟：

(1)Precompletion過程的規則1為，AB→⊆{o:C}∪AB,]]>其時間復雜度為T(C(a))＝0，其中∪是描述邏輯中的Disjunction運算符，“o:C”表示概念C中的所有個體o；

(2)Precompletion過程的規則2為AB→∩{o:C1，o:C2}∪AB，其時間復雜度為T(C(a))＝2+T(C1(a))+T(C2(a))，其中∩是描述邏輯中的Conjunction運算符，C1，C2表示概念，且滿足C＝C1∩C2，T(C1(a))和T(C2(a))將被遞歸計算；

(3)Precompletion過程的規則3為AB→∪{o:D}∪AB，其時間復雜度為T(C(a))＝2+T+T(C1(a))+T(C2(a))，其中T表示當前的T(C(a))的值，概念D，C，C1，C2之間滿足C＝C1∪C2，D＝C1或者D＝C2，T(C1(a))和T(C2(a))將被遞歸計算；

(4)Precompletion過程的規則4為AB→∀{o':D}∪AB,]]>其時間復雜度為T(D(a))=n+n*T(D(a))+T(Σi=1nCi(a)),]]>其中為描述邏輯中的全稱量詞，上述規則的應用必須滿足C=∀R.D,]]>并且在AB中有n個斷言R(a，oi’)和C_i(a)，C=∀R.D]]>表示關系R對概念D的值約束為概念C，R(a，oi’)表示個體a和個體oi’通過關系R相關聯。