基於語義搜索的推理方法
2023-08-13 16:53:21 4
o:C"表示概念C中的所有個體o;(2)Precompletion過程的規則2為AB^n{o:Cl,o:C2}UAB，其時間複雜度為T(C(a))=2+T(Cl(a))+T(C2(a))，其中fl是描述邏輯中的Conjunction運算符，Cl，C2表示概念，且滿足C-CinC2，T(Cl(a))和T(C2(a))將被遞歸計算；(3)Precompletion過程的規則3為AB>>U{o:D}UAB，其時間複雜度為T(C(a))=2+T+T(Cl(a))+T(C2(a))，其中T表示當前的T(C(a))的值，概念D，C，Cl,C2之間滿足OClUC2，D-C1或者DK:2，T(Cl(a))禾卩T(C2(a))將被遞歸計算；(4)Precompletion過程的規則4為AB今V{o，:D}UAB，其時間複雜度為T(D(a))=n+n*T(D(a))+T(tc,(a))，其中V為描述邏輯中的全稱量詞，上述規則的,'=1應用必須滿足C-VR.D，並且在AB中有n個斷言R(a，oi，)和C;(a)，C=VR.D表示關係R對概念D的值約束為概念C，R(a，oi')表示個體a和個體oi，通過關係R相關聯。4.根據權利要求2所述的一種基於語義搜索的推理方法，其特徵在於，所述的步驟(2)中對以tableaux算法為基礎的TBox推理進行算法複雜度評估，採用基於WacheH.定義的啟發式O函數的改進函數對概念E進行評估，啟發式O函數的改進函數具體包括0)(A)=1;O("A)=0，其中，是描述邏輯中的Negation運算；①(C門D)=2+①(C)+①(D);0(cUd)=4)+2+0(C)+0(D)，其中(t)是當前的①(e)的值；0(3R.C)=2+0(C)*n，其中3為描述邏輯中的存在量詞，3RX表示關係R對概念C的存在約束，n是GCI中VR.D形式的表達式的個數，GCI是概念包含公理的簡稱；①(VR.C)=n+n*cD(Q其中n是E當中的存在量詞的數目以及GCI當中3R.D形式的概念的個數；依次使用上述啟發函數，直到沒有啟發函數可用，評估終止。5.根據權利要求1所述的一種基於語義搜索的推理方法，其特徵在於，所述的步驟(2)中的推理方法具體包括如下步驟(l)記概念為C，概念C對應的個體集合為CI，所有個體集合為O,RI為個體之間的角色關係集合，採用如下規則進行計算，規則一如果c-cinc2，那麼CK:iinc2i;規則二如果C-C1UC2，那麼CI=C1IUC2I;規則三如果C-，Cl,那麼CI-O-CII;規則四如果(:=311.<:1，那麼CI={xeO|存在一個yeO，滿足〈x,y^RI，而且yeClI);規則五如果C-VR.Cl，那麼CI={xeOIXeO，並且xeVR.C2,並且C2^C1;(2)使用德摩根定律，將概念C轉換成-CinC2的形式，其中，C1是TB中的一個概念，此時獲取到C1I;(3)對於TB中的任意一個概念D，如果D的後繼都包含於概念C2，那麼檢查DcC2，如果D的個體包含於CI，那麼DsC21，檢查下一個概念；(4)如果DI(zC21,夷，麼DczC2，其中CI和DI是推理中獲得的屬於概念C和D的個體；如果DIsC2I,並且DI，C2I的個體數大於ABox中每個概念擁有個體數的平均值，那麼推理結果用DeC2表示，對於DI，C21的個體數小於ABox中每個概念擁有個體數的平均值，採用？入<:丁++推理機進行D=C2的判斷；(5)得到C2的所有子概念集合，C2的個體集合C2I為所有子概念的個體的總和，ci=ciinc2i。6.根據權利要求1所述的一種基於語義搜索的推理方法，其特徵在於，所述的步驟(4)中，權利要求1所述步驟(2)中計算所得的結果進行修正，記通過權利要求1所述步驟(2)獲取的個體集合為{0，進行TB，AB卜C(t)運算。全文摘要本發明公開了一種基於語義搜索的推理方法。該方法的步驟如下(1)設定閾值，對ABox和TBox的推理進行算法複雜度評估，當算法複雜度大於閾值時，繼續執行，否則，執行步驟(3)；(2)採用推理方法進行推理，執行步驟(4)；(3)採用Fact++推理機中的推理方法進行推理，得到最終推理結果；(4)對步驟(2)所得的推理結果進行修正，把修正後的結果作為最終推理結果。本發明能夠自適應的返回精確推理結果還是近似推理結果，提高了推理的效率，降低了推理的時間複雜度。文檔編號G06F17/30GK101281533SQ20081006201公開日2008年10月8日申請日期2008年5月21日優先權日2008年5月21日發明者芳唐,李山亭,銘蔡,趙國榮,剛陳申請人:浙江大學