專利名稱:一種本體概念的可滿足性檢測的方法和裝置的制作方法
技術領域:
本發(fā)明涉及通信技術領域,尤其涉及一種本體概念的可滿足性檢測的方 法和裝置。
背景技術:
鑒于本體描述語言與描述邏輯語言的密切相關性,通常將描述邏輯的推 理方法用在本體推理中。目前針對描述邏輯的推理問題,主要有四種推理方
法。分別是結(jié)構化算法、Tableau (表推演)算法、轉(zhuǎn)換方法和基于自動機 的方法。
為實現(xiàn)本體一致性檢測推理機,較適用的是采用Tableau算法作為推理的 核心算法。Tableau算法只對判定算法的本身進行了定義(即只定義了擴展規(guī) 則),對于支持復雜構造算子集的推理系統(tǒng)而言,簡單地應用擴展規(guī)則進行 Tableau擴展,時間和空間復雜度都非常高。為此,需要引入多種優(yōu)化算法來 提高推理效率。其中4交為適用的有BCP (Boolean Constraint Propagation,布 爾約束傳播)優(yōu)化技術和回跳優(yōu)化技術。它們的引入都在不同層面上簡化了 Tableau算法的推理步驟,提高了推理效率。BCP優(yōu)化技術能有效地減少 disjunction (析取)項的數(shù)目;回跳優(yōu)化技術能使Tableau算法直接回溯到引 發(fā)沖突的節(jié)點,避免無用的擴展開銷。
在實現(xiàn)本發(fā)明的過程中,發(fā)明人發(fā)現(xiàn)現(xiàn)有技術中存在以下缺點 現(xiàn)有技術中,BCP優(yōu)化技術方案只能解決部分disjunction項的化筒問題, 簡化得不夠徹底。
發(fā)明內(nèi)容
本發(fā)明實施例提供了一種本體概念的可滿足性檢測的方法和裝置,通過 將改進的BCP優(yōu)化技術應用于本體概念的可滿足性檢測中,對disjunction項
6進行了充分的化簡,提高了檢測效率。
本發(fā)明實施例提供了一種本體概念的可滿足性檢測的方法,包括以下步
驟
初始化本體概念的概念集合;
應用改進的BCP優(yōu)化技術化簡所述概念集合;
根據(jù)化簡后的概念集合判斷所述本體概念的可滿足性。
本發(fā)明實施例還提供了一種實現(xiàn)本體概念的可滿足性檢測的裝置,包括
初始化模塊,用于初始化本體概念的概念集合;
化筒模塊,用于應用改進的BCP優(yōu)化技術化筒所述初始化模塊得到的概 念集合;
判斷模塊,用于根據(jù)所述化筒模塊得到的化簡后的概念集合判斷所述本 體概念的可滿足性。
本發(fā)明的實施例中,通過將改進的BCP優(yōu)化技術應用于本體概念的可滿 足性檢測中,對disjunction項進行了充分的化簡,提高了檢測效率。
為了更清楚地說明本發(fā)明實施例或現(xiàn)有技術中的技術方案,下面將對實 施例或現(xiàn)有技術描述中所需要使用的附圖作簡單地介紹,顯而易見地,下面 描述中的附圖僅僅是本發(fā)明的一些實施例,對于本領域普通技術人員來講, 在不付出創(chuàng)造性勞動性的前提下,還可以根據(jù)這些附圖獲得其他的附圖。 圖1是本發(fā)明實施例中一種本體概念的可滿足性檢測的方法流程圖; 圖2是本發(fā)明實施例中另一種本體概念的可滿足性檢測的方法流程圖; 圖3是本發(fā)明實施例中一種實現(xiàn)本體概念的可滿足性檢測的裝置結(jié)構圖。
具體實施例方式
下面將結(jié)合本發(fā)明實施例中的附圖,對本發(fā)明實施例中的技術方案進行 清楚、完整地描述,顯然,所描述的實施例是本發(fā)明一部分實施例,而不是 全部的實施例?;诒景l(fā)明中的實施例,本領域普通技術人員在沒有作出創(chuàng)造性勞動前提下所獲得的所有其他實施例,都屬于本發(fā)明保護的范圍。
本發(fā)明實施例提供了一種本體概念的可滿足性檢測的方法的方法,如圖1
所示,包括以下步驟
步驟IOI,初始化本體概念的概念集合。
將所述本體概念的依賴集合的初值設置為所述本體概念中disjunction項 的深度計數(shù)值,將所述深度計數(shù)值初值設為1,將所述本體概念的執(zhí)行隊列初 值設置為空。
步驟102,應用改進的BCP優(yōu)化技術化簡所述概念集合。 若所述概念集合中存在兩個disjunction概念d和C2,并且Q中存在一 個disjunction項L;, C2中存在一個disjunction項Lj,而且L尸"Lj,則從所述 Ci和C2中刪除Li和Lj,將d和C2的剩余部分析取起來加入所述概念集合中
產(chǎn)生新的概念集合,將d和C2的依賴集合的并集中分支深度的最大值賦值給
新產(chǎn)生的概念的依賴集合;
若所述沖既念集合中存在disjunction扭克念和disjunction項~>Li, ~>1^表 示Li的非,且d中含有disjunction項則從d中刪除Li,將,Li從所述 概念集合中刪除,將d的剩余部分加入所述概念集合產(chǎn)生新的概念集合,將 d和,Li的依賴集合的并集中分支深度的最大值賦值給新產(chǎn)生的概念的依賴 集合。
步驟103,根據(jù)化簡后的概念集合判斷所述本體概念的可滿足性。 判斷所述化簡后的概念集合中的概念是否存在沖突,若不存在沖突,則 將所述化簡后的概念集合中符合條件的概念存入概念的執(zhí)行隊列,并按擴展 優(yōu)先級調(diào)整所述執(zhí)行隊列,根據(jù)所述調(diào)整后的執(zhí)行隊列判斷所述本體概念的 可滿足性;若存在沖突,則根據(jù)沖突概念的依賴集合的并集中分支深度最大 值判斷所述本體概念的可滿足性。
其中,將所述化簡后的概念集合中符合條件的概念存入概念的執(zhí)行隊列 包括將所述化簡后的概念集合中未進行擴展的且未存入所述概念的執(zhí)行隊 列中的概念存入所述概念的執(zhí)行隊列,所述未進行擴展的且未存入所述概念 的執(zhí)行隊列中的概念不包括原子概念和原子概念的否定。其中,根據(jù)所述調(diào)整后的執(zhí)行隊列判斷所述本體概念的可滿足性包括 判斷所述調(diào)整后的執(zhí)行隊列是否為空,若為空,則所述本體概念是可滿足的; 若不為空,取出所述調(diào)整后的執(zhí)行隊列中的概念,根據(jù)取出的概念產(chǎn)生新的 概念集合,根據(jù)所述新的概念集合判斷所述本體概念的可滿足性。
其中,根據(jù)取出的概念產(chǎn)生新的概念集合包括如果所述取出的概念符 合產(chǎn)生型擴展規(guī)則,對所述取出的概念應用產(chǎn)生型擴展規(guī)則進行擴展,將擴 展后新產(chǎn)生的概念加入到所述概念集合中產(chǎn)生新的概念集合;如果所述取出 的概念不符合產(chǎn)生型擴展規(guī)則,對所述取出的概念應用非產(chǎn)生型擴展規(guī)則進 行擴展,將擴展后新產(chǎn)生的概念加入到所述概念集合中產(chǎn)生新的概念集合。
其中,根據(jù)沖突概念的依賴集合的并集中分支深度最大值判斷所述本體 概念的可滿足性包括若所述分支深度最大值小于等于1,則所述本體概念是 不可滿足的;若分支深度最大值大于l,則將所述沖突概念所依賴的概念取反 添加到所述化簡后的概念集合中產(chǎn)生新的概念集合,根據(jù)所述新的概念集合 判斷所述本體概念的可滿足性。
本發(fā)明實施例的技術方案帶來的有益效果如下通過將改進的BCP優(yōu)化 技術應用于本體概念的可滿足性檢測中,對disjunction項進行了充分的化簡, 提高了檢測效率。
本發(fā)明實施例提供了另一種本體概念的可滿足性檢測的方法,如圖2所 示,包括以下步驟
步驟201,初始設置完整樹T, T的根節(jié)點設為yo。完整樹U項的深度計 數(shù)b初值為l,將待檢測的概念M存入y。的概念集合L(yo)中,概念M的依 賴集合初值為(b),當前概念集合L(n)初值為L(yo),角色集合Rset初值為空, 概念的執(zhí)行隊列初值為空。
步驟202,根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每 個概念的依賴集合。
概念依賴集合的具體更新方法如下
如果新產(chǎn)生的概念是由BCP化簡而來,則確定該概念是由哪兩個概念化簡得到的,取化簡前的兩個概念的依賴集合的并集中的最大值,賦值給新產(chǎn) 生的概念的依賴集合。
如果新產(chǎn)生的概念是通過應用確定性擴展規(guī)則得到的,則確定該新產(chǎn)生 的概念是由哪些概念擴展而來,將這些概念的依賴集合賦值給新產(chǎn)生的概念 的依賴集合。
如果新產(chǎn)生的概念是由沖突概念所依賴的概念取反而得到的,那么該新 產(chǎn)生的概念的依賴集合設為。
如果新產(chǎn)生的概念是由不確定性擴展規(guī)則得到的,完整樹中u項的深度計
數(shù)b自增,新產(chǎn)生的概念的依賴集合設為(b〉。
步驟203,對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化簡當前概 念集合L(n)。
應用改進的BCP優(yōu)化技術,化簡當概念集合的具體方法如下
Stepl.遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, C2(其中C" C2都是形如L!U…ULiU…ULn的disjunction概念,其中n》2), 并且滿足d中存在一個U項Lj, C2中存在一個U項Lj,其中L產(chǎn),Lj,則從 d和C2刪除Lj、 Lj,執(zhí)行Step2;否則執(zhí)行Step4;
Step2.將d和C2的剩余部分析取(U)起來構成的新的概念加入當前概念 集合L(n)中,更新當前概念集合L(n),執(zhí)行下一步;
Step3.根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個 概念的依賴集合,返回Stepl執(zhí)行;
Step4.如果當前概念集合L(n)中存在概念d(其中d是形如 LU…ULiU... ULn的disjunction概念,其中n > 2)和~>Li,且d中含有一U項 Li,則從d中刪除Li,執(zhí)行Step5;否則退出;
Step5.將"Li從當前概念集合L(n)中刪除并將d的剩余部分加入當前概 念集合L(n),更新當前概念集合L(n),并根據(jù)概念的依賴集合更新方法,更 新當前概念集合L(n)中的每個概念的依賴集合,返回Stepl執(zhí)行。
步驟204,判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突, 則執(zhí)行步驟205,否則執(zhí)行步驟步驟213。步驟205,遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的
入概念的執(zhí)行隊列,并按擴展優(yōu)先級調(diào)整此隊列。
步驟206,判斷概念的執(zhí)行隊列是否為空,若為空,則執(zhí)行步驟216,否 則執(zhí)行步驟207。
步驟207,從概念的執(zhí)行隊列中取出概念G。
步驟208,判斷概念G是否符合產(chǎn)生型擴展規(guī)則,如果判斷結(jié)果為是則 執(zhí)行步驟209,否則4丸行步驟210。
步驟209,對概念G利用符合條件的Tableau擴展規(guī)則進行擴展,同時創(chuàng) 建一個新的概念集合L(yi)和一個產(chǎn)生型規(guī)則中指定的角色Ri((L(n),L(yi))),并 將角色Ri存入到角色集合Rset中。將新產(chǎn)生的概念加入到新的概念集合L(yi) 中,并將L(yi)賦值給當前概念集合L(n),返回步驟202。
步驟210,判斷概念G中是否有角色集合Ri((L(n),L(yO))出現(xiàn),如果判斷 結(jié)果為是則執(zhí)行步驟211,否則執(zhí)行步驟212。
步驟2U,如果在概念G中有角色Ri((L(n),L(yi)))出現(xiàn),并且Ri在角色集 合Rset中,那么對概念G應用符合條件的Tableau擴展規(guī)則進行擴展,將新 產(chǎn)生的概念加入L(yi)中,并將L(yi)賦值給L(n),返回步驟202。
步驟212,對概念G利用符合條件的Tableau擴展規(guī)則進行擴展,將新產(chǎn) 生的概念加入當前概念集合L(n)中,并將L(n)賦值給L(yi),返回步驟202。
步驟213,取沖突概念的依賴集合的并集S中最大值m。
步驟214,判定(m-l)是否小于等于O。如果小于等于O,則執(zhí)行步驟217, 否則執(zhí)行步驟215。
步驟215,從當前概念集合L(n)中將沖突概念和它所依賴的概念刪除,并 將沖突概念所依賴的概念取反添加到當前概念集合L(n)中,并將L(n)賦值給 L(yO。將完整樹U項的深度計數(shù)b的值設為(m-l),返回步驟202。
步驟216,確定扭克念M是可滿足的。
步驟217,確定概念M是不可滿足的。
ii下面根據(jù)上述步驟檢測概念M的可滿足性,其中M表示如下
M二(AuB)n(cuD)n( ~cuE)n( ~Au , E)n((An ~>
A)UFUC)n(3R.(AnB))n(VR.,A)niF下面為算法的具體實施方法
初始設置完整樹T, T的根節(jié)點設為yo。完整樹U項的深度計數(shù)b初值為 1,將待檢測的概念M存入yo的概念集合L(yo)中,則L(y。) = {(AUB)n(CUD)
n("nCuE)n卜Au ,E)n((An "nA)uFuC)n(3R.(AnB))n(VR. ,A)n ~>F}且 概念 (AuB)n(cuD)n( , cuE)n( , au ~ e)n((An , A)uFuC)n(3R.(AnB))n(VR.~iA)n,F(xiàn)的依賴集合初值為{1},當前概念集
合L(n)初值為L(y0)。即當前概念集合L(n)二 {(AUB)n(CUD)n(~nCUE)n(~> Au~IE)n((An~IA)uFuC)n(3R.(AnB》n(VR.~1A)n~1F }。角色集合Rset
初值為空,概念的執(zhí)行隊列初始為空。
根據(jù)概念的依賴集合更新方法,更新當前相克念集合L(n)中的每個概念的 依賴集合。此時不滿足更新方法,所以沒有做任何更新工作,繼續(xù)執(zhí)行。
對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化簡當前概念集合L(n)。 此時執(zhí)行BCP優(yōu)化
遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, Cz(其 中d, Q都是形如LiU…ULiU…ULn的disjunction概念,其中n>2),并且 滿足Q中存在一個U項Li, C2中存在一個U項Lj,其中Li-"Lj,則從C,和 C2刪除Li、 Lj,執(zhí)行步驟Step2;否則執(zhí)行Step4。遍歷當前概念集合L(n), 發(fā)現(xiàn)當前概念集合L(n)中只有一個概念(AUB)n(CUD)門(,CuE)n("iAU,
E)n((An ,A)uFuc)n(3R,(AnB》n(VR.~nA)n "F,并不存在滿足條件概念
C!, C2,所以執(zhí)行step4(下面為step4)。
如果當前概念集合L(n)中存在概念C"其中d是形如L,U…ULiU…ULn 的disjunction概念,其中n》2)和"iLi,且d中含有一U項L;,則從d中刪 除Li,執(zhí)行step5;否則退出。對于當前概念集合L(n),只存在一個概念 (AUB)門(CUD)門(,CUE)門("!AU ,E)門((An ,A)uFuc)n(3R.(AnB》n (VR.,A)n,F(xiàn),不滿足此步驟的條件,所以退出。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行步驟205,否則執(zhí)行步驟213。當前概念集合L(n)中只有概念
(AuB)n(cuD)n( , cuE)n( ~> Au~> E)n((An ~n
A)UFUC)n(3R.(AnB》n(VR."iA)n,F(xiàn),不存在沖突,執(zhí)4亍步驟205。
遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的(不包括原 子概念和原子概念的否定)且未存入概念的執(zhí)行隊列中的概念,存入概念的執(zhí) 行隊列,并按擴展優(yōu)先級調(diào)整此隊列。當前概念集合L(n)中只有概念
(AuB)n(cuD)n(,cuE)n(,Au ,E)n((An ~nA)uFuc)n(3R.(AnB))n(VR. "A)n"F,該概念(顯然不是原子概念也不是原子概念的否定)未進行擴展且 未曾存入概念的執(zhí)行隊列,所以將(AuB)n(CuD)n("nCuE)n(,Au,E)n ((An ~nA)uFLiC)n(3R.(AnB))n(VR.,A)n ~>f直接存入到概念的執(zhí)行隊列 中?,F(xiàn)在概念的執(zhí)行隊列中僅有概念(AuB)n(CuD)n("cuE)n("^Au "E)n ((An ,A)uFuC)n(3R.(AnB》n( VR. ,A)n ,F(xiàn)。
判斷概念的執(zhí)行隊列是否為空,若為空,則待檢測的概念M是可滿足的, 否則執(zhí)行步驟207。當前概念的執(zhí)行隊列中有概念(AUB)n(CUD)n("n
CuE)n(,Au ,E)n((An ,A)uFuc)n(3R.(AnB))n(VR.,A)n ,F(xiàn),顯然不
為空,執(zhí)行步驟207。
從概念的執(zhí)行隊列中取出概念G,如果概念G是符合產(chǎn)生型擴展規(guī)則的 概念,則執(zhí)行步驟209,否則執(zhí)行步驟210。從概念的執(zhí)行隊列中取出G,即
(AuB)n(cuD)n(~1cuE)n(~IAu~nE)n((An~1A)uFuc)n(3R.(AnB))n(VR.
"nA)n,F(xiàn),由于該概念它不符合產(chǎn)生型擴展規(guī)則,所以執(zhí)行步驟210。
如果在概念G中有角色Ri( ( L(n), L(yi)》出現(xiàn),并且Ri在角色集合Rset
中,那么將對概念G應用符合條件的Tableau擴展規(guī)則進行擴展,并將新產(chǎn)生
的概念加入L(yO中,由于當前角色集合Rset為空,所以執(zhí)行步驟212。
對概念G利用符合條件的Tableau擴展規(guī)則進行擴展,將新產(chǎn)生的概念
加入當前概念集合L(n)中,并將L(n)賦值給L(yo),返回步驟202執(zhí)行。概念G
即
(AuB)n(cuD)n( , cuE)n( 「 au ~> e)n((An ~ A)uFuC)n(3R.(AnB))n( VR. ,A)n ,F(xiàn)利用符合條件的Tableau擴展規(guī)則進行擴展,它符合n擴展規(guī)則(如果 ①dnC2EL(x),②(d,C2〉nL(x)-0,那么L(x)—L(x)U(d,C2〉)的擴展條件, 進而利用n規(guī)則進行擴展,將((AUB), (CUD), (,CUE), (,AU,E), ((An "iA)UFUC), (3R,(AnB》,(VR,,A), iF〉并入當前概念集合L(n),則更新 后的當前概念集合L(n), L(nH((AUB)n(CuD)n(,CUE)n(,AU,E)n((An ,A)UFUC)n (3R.(AnB))n(VR.,A)n~ F, (AUB), (CUD), ("CUE),(, AU~nE), ((An,A)UFuC), (3R,(AnB》,(VR.,A), ,F(xiàn)},由于將L(n)賦 值給L(yo),所以L(n)的值和L(yo)相同,返回步驟202。
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合。如果新產(chǎn)生的概念是通過應用確定性擴展規(guī)則得到的,則確定該 新產(chǎn)生的概念是由哪些概念擴展而來,將這些概念的依賴集合賦值給新產(chǎn)生 的概念的依賴集合。否則,執(zhí)行下一步。當前新產(chǎn)生的概念是通過n規(guī)則擴展 而來的,他們都是由扭無念(AuB)n(CuD)n(,CuE)n("iAu,E)n ((An, A)UFUC)n (3R.(A門B))n(VR.,A)n,F(xiàn)擴展而來,而該概念的依賴集合為 {1},則新產(chǎn)生的概念(AUB), (CUD), ("CUE), (,AU~nE), ((An,A)UFUC), (3R,(AnB)), (VR.,A), ,F(xiàn)的依賴集合都是U)。
對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化簡當前概念集合L(n)。
遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, C"其 中C!, C2都是形如LiU…ULiU…ULn的disjunction概念,其中n>2),并且 滿足d中存在一個U項Lj, C2中存在一個U項Lj,其中Li-"nLj,則從Ct和 C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4。遍歷當前相克念集合L(n),當前 概念集合L(n)中存在兩個概念(CUD), ("nCLlE)且滿足(CuD)中存在一個U項 C, (,CUE)中存在一個U項,C,則從(CUD)和("CUE)中刪除C和-C,執(zhí) 行step3。
將C,和C2的剩余部分析取(U)起來構成的新的概念加入當前概念集合L(n) 中,更新當前概念集合L(n)。將(CUD)和("CUE)的剩余部分U起來構成的 新的概念(DUE)加入當前概念集合L(n)中,更新后的當前概念集合L(n), L(n)={ (AUB)n(CUD)n(, CUE)n(~i AU, E)n((AflA)UFUC)n(3R.(AnB》n(VR.,A)n,F(xiàn), (AUB), (DUE),卜AU,E), ((An ,A)UFUC), (3R.(AnB)), (VR.,A), ,F(xiàn)}。
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合,如果新產(chǎn)生的概念是由BCP化簡而來,則確定該新產(chǎn)生的概念是 由哪兩個概念化簡得到的,取化簡前的兩個概念的依賴集合的并集中的最大 值,賦值給新產(chǎn)生的概念的依賴集合,由于新產(chǎn)生的概念(DUE)由BCP化簡 而來,而且它是由(CUD)和(iCuE)化簡而來,所以(DUE)的依賴集合為(1〉。 (因為概念(CUD)和(,CUE)的依賴集合都為(1),它們的并集中的最大值為1)
遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, Qj(其 中d, C2都是形如L!U…ULiU…ULn的disjunction概念,其中n>2),并且 滿足d中存在一個U項Li, C2中存在一個U項Lj,其中Lr"Lj,則從d和 C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行St印4。遍歷當前概念集合L(n),當前 概念集合L(n)中存在兩個概念(DuE), ("iAU"E)且滿足(DUE)中存在一個U 項E, ("!AU「E)中存在一個U項""E,則從(DUE)和(,AU"nE)中刪除E和, E,執(zhí)4亍step2。
將d和C2的剩余部分析取起來構成的新的概念加入當前概念集合L(n) 中,更新當前概念集合L(n)。將(DUE)和(,AU "E)的剩余部分U起來構成的 新的概念(DU"A)加入當前概念集合L(n)中,更新后的當前概念集合L(n),
L(n)={(AuB)n(cuD)n( , cuE)n( ~> au e)n((An "
A)uFuC)n(3R.(AnB))n(VR. ~> A)n , (AUB) , (DU A) , ((An A)UFUC), (3R,(AnB)), (VR.,A), ,F(xiàn) }。
如果新產(chǎn)生的概念是由BCP化簡而來,則確定該新產(chǎn)生的概念是由哪兩 個概念化簡得到的,取化簡前的兩個概念的依賴集合的并集中的最大值,賦 值給新產(chǎn)生的概念的依賴集合。由于新產(chǎn)生的概念(DU,A)由BCP化筒而來, 而且它是由(DUE)和("nAU ,E)化簡而來,所以(DU ,A)的依賴集合為{1}。(因 為概念(DUE)和("iAU,E)的依賴集合都為0),它們的并集中的最大值為1)
遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, C"其 中Q, C2都是形如LiU…ULiU…ULn的disjunction概念,其中n>2),并且滿足d中存在一個U項Lj, C2中存在一個U項Lj,其中L尸,Lj,則從Q和 C2刪除Lj、 Lj,執(zhí)行Step2;否則執(zhí)行Step4。遍歷當前4既念集合L(n),當前 概念集合L(n)中存在兩個概念(AUB), (DU "A)且滿足(AUB)中存在一個U項 A, (DU,A)中存在一個U項,A,則從(AUB)和(DU"iA)中刪除A和,A,執(zhí) 行step3。
將C,和C2的剩余部分析取起來構成的新的概念加入當前概念集合L(n) 中,更新當前概念集合L(n)。將(AUB)和(DU,A)的剩余部分B和D, U起 來構成的新的概念(BUD)加入當前概念集合L(n)中,更新當前概念集合L(n), 更新后的為L(n)-((AUB)n(CUD)n("iCuE)n(,AU,E)n((An,A)UFUC) n(3R,(AnB》n(VR"A)n"!F, (BUD), ((An,A)UFUC), (3R,(AnB)), (VR. ,A), ,F(xiàn)}
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合,如果新產(chǎn)生的概念是由BCP化筒而來,則確定該新產(chǎn)生的概念是 由哪兩個概念化簡得到的,取化簡前的兩個概念的依賴集合的并集中的最大 值,賦值給新產(chǎn)生的概念的依賴集合。由于新產(chǎn)生的概念(BUD)由BCP化簡 而來,而且它是由(AUB)和(DU,A)化簡而來,所以(BUD)的依賴集合為(1〉。 (因為概念(AUB)和(DU,A)的依賴集合都為(1),它們的并集中的最大值為1)
遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, C"其 中d, C2都是形如1^U…ULiU…ULn的disjunction概念,其中n>2),并且 滿足d中存在一個U項Li, C2中存在一個U項Lj,其中L產(chǎn),Lj,則從d和 C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4。遍歷當前的概念集合,顯然當 前的概念集合中不存在滿足條件的d, C2執(zhí)行step4。
如果當前概念集合L(n)中存在概念d(其中d是形如IwU...ULiU...ULn 的disjunction概念,其中11>2)和~^,且Q中含有一U項Li,則從d中刪 除Li,執(zhí)行step5;否則退出。在當前概念集合L(n)中存在概念符合條件的概 念((AniA)UFUC)和,F(xiàn),則從((An,A)UFUC)中將F刪除,執(zhí)行step5。
將,Li從當前概念集合L(n)中刪除并將 的剩余部分加入當前概念集合 L(n),更新當前概念集合L(n),并根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的依賴集合,返回Stepl執(zhí)行。將"F從概念集合中 刪除并將((Ari"nA)UC)加入當前概念集合L(n)中,更新當前概念集合L(n), L(n)= {(AUB)n(CUD)n( , CuE)n( , AU , E)n((An , A)UFUC)n(3R.(AnB》n(VR"nA)n,F(xiàn), (BUD), ((An~nA)UC), (3R,(AnB)), (VR."A)},再根據(jù)更新方法中的stepl,將((An"A)UC)的依賴集合設為U〉, 執(zhí)行stepl。
遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, <:2(其 中d, C2都是形如"U…ULiU…ULn的disjunction積無念,其中n》2),并且 滿足d中存在一個U項Li, C2中存在一個U項Lj,其中Lr,Lj,則從d和 C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4。遍歷當前的概念集合,發(fā)現(xiàn)概 念集合中,不存在滿足條件概念d, C2,所以執(zhí)行step4。
如果當前概念集合L(n)中存在概念d(其中d是形如LiU...ULiU...ULn 的disjunction概念,其中n》2)和"iLi,且Q中含有一U項L;,則從d中刪 除Lj,執(zhí)行step5;否則退出。對于當前概念集合L(n),不存在滿足條件的才既 念,所以退出。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行 步驟205,否則執(zhí)行步驟步驟213。對于當前的概念集合L(n), L(nH(AUB)n(CUD)n(,CUE)n(~>AU~>E)n((An , A)UFuC)n(3R.(AnB))n(VR,A)n,F(xiàn), (BUD), ((An,A)UC), (3R,(AnB)), (VR.,A)},沒有沖突產(chǎn)生,執(zhí)行步驟205。
遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的(不包括原 子概念和原子概念的否定)且未存入概念的執(zhí)行隊列中的概念,存入概念的執(zhí) 行隊列,并按擴展優(yōu)先級調(diào)整此隊列。對于當前概念集合L(n)來說,未進行 擴展的概念有(BUD), ((Ari"nA)UC), (3R.(AnB)), (VR."A),將這些概 念依次存入概念的執(zhí)行隊列中,并按算法中所述的擴展優(yōu)先級調(diào)整隊列。則 現(xiàn)在的概念執(zhí)行隊列為(BUD), ((An,A)UC), (3R,(AnB)), (VR,^A)。
判斷概念的執(zhí)行隊列是否為空,若為空,則待檢測的概念M是可滿足的, 否則執(zhí)行步驟207。當前的概念執(zhí)行隊列不為空,執(zhí)行步驟207。從概念的執(zhí)行隊列中取出概念G,如果概念G是符合產(chǎn)生型擴^Jl則的 概念,則執(zhí)行步驟209,否則執(zhí)行步驟210。從概念的執(zhí)行隊列中取出G,即 (BUD),由于該概念它不符合產(chǎn)生型擴展規(guī)則,所以執(zhí)行步驟210。
如果在概念G中有角色Rj(( L(n), L(y》))出現(xiàn),并且R;在角色集合Rset 中,那么將對概念G應用符合條件的Tableau擴展規(guī)則進行擴展,并將新產(chǎn)生 的概念加入L(yi)中,返回步驟202執(zhí)行。否則執(zhí)行步驟212。由于當前角色 集合Rset為空,所以執(zhí)行步驟212。
對概念G利用符合條件的Tableau擴展規(guī)則進行擴展,將新產(chǎn)生的概念加 入當前概念集合L(n)中,并將L(n)賦值給L(y0),返回step2執(zhí)行。對概念G , 即(BUD)利用符合條件的Tableau擴展規(guī)則進行擴展,也就是對概念(BUD)應 用U規(guī)則(如果①dUC2eL(x),②(d,C2)DL(x)-0,那么a.保存填充樹T;
b. L(x)—L(x)U(CJ如果有沖突發(fā)生,那么重置填充樹T,并且執(zhí)行c;
c. L(x)—L(x)U(C2"進行擴展。將新產(chǎn)生的概念B加入概念集合中,則當前 概念集合L(n)為((AUB)n(CUD)n( , CUE)n( ~n AU ~> E)n((An , A)UFUC)n(3R,(AnB》n(VR"A)n,F(xiàn), (BUD), ((Ari"nA)uC), (3R,(AnB)), (VR.,A), B},將L(n)賦值給L(y0), L(y。)的值和L(n)相同,返回步驟202 執(zhí)行。
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合。完整樹中U項的深度計數(shù)b自增,新產(chǎn)生的概念的依賴集合設為 。將完整樹中U項的深度計數(shù)b自增到2,則新產(chǎn)生的概念B的依賴集合 設為{2}。
對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化筒當前概念集合L(n)。 遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, C2(其 中Q, C2都是形如L!U…ULiU…ULn的disjunction概念,其中n>2),并且 滿足d中存在一個U項Li, C2中存在一個U項Lj,其中Lf""Lj,則從C!和 C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4;遍歷當前的積無念集合,不存在 滿足條件的概念d, C2,執(zhí)行step4。
如果當前概念集合L(n)中存在概念Q(其中d是形如L!U...ULiU...ULn
18的disjunction概念,其中n》2)和,Lj,且d中含有一U項Lj,則從C,中刪 除Li,執(zhí)行step5;否則退出。當前的概念集合中,不存在滿足條件的概念d 和,Li,退出。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行 步驟205,否則執(zhí)行步驟步驟213。當前的概念集合中沒有沖突,執(zhí)行步驟205。
遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的(不包括原 子概念和原子概念的否定)且未存入概念的執(zhí)行隊列中的概念,按擴展優(yōu)先級 存入概念的執(zhí)行隊列中。遍歷概念集合(((AuB)n(CUD)n(,CUE)n(,AU
,E)n((An ~ A)uFuc)n(3R.(AnB))n(VR ~> A)n ~>F) , (bud) , ((An ,
A)UC), (3R,(AnB》,(VR.,A), B},現(xiàn)未存入概念的執(zhí)行隊列中的概念僅 有B但是B是原子概念,所以不用存入概念的執(zhí)行隊列中,繼續(xù)執(zhí)行。
判斷概念的執(zhí)行隊列是否為空,若為空,則待檢測的概念M是可滿足的, 否則執(zhí)行步驟207。當前的概念執(zhí)行隊列為((An~nA)UC), (3R.(AnB)), (VR. ,A)。不為空,執(zhí)行步驟207。
從概念的執(zhí)行隊列中取出概念G,如果概念G是符合產(chǎn)生型擴展規(guī)則的 概念,則執(zhí)行步驟209,否則執(zhí)行步驟210。從概念的執(zhí)行隊列中取出G,即 ((AniA)UC),由于該概念它不符合產(chǎn)生型擴展規(guī)則,所以執(zhí)行步驟210。
如果在概念G中有角色Ri(( L(n), L(yi)》出現(xiàn),并且R;在角色集合Rset 中,那么將對概念G應用符合條件的Tableau擴展規(guī)則進行擴展,并將新產(chǎn)生 的概念加入L(yO中,返回步驟202。否則執(zhí)行步驟212。由于當前角色集合 Rset為空,所以執(zhí)行步驟212。
對概念G利用符合條件的Tableau擴展身見則進行擴展,將新產(chǎn)生的概念加 入當前概念集合L(n)中,并將L(n)賦值給L(yo),返回步驟202執(zhí)行。對概念 G ,即((An,A)UC)利用符合條件的Tableau擴展規(guī)則進行擴展,也就是對概 念((An""A)UC)應用U規(guī)則(如果①Q(mào)UC2EL(x),②(d,C2〉門L(x)-0,那么 a.保存填充樹T; b. L(x)—L(x)U (Cd如果有沖突發(fā)生,那么重置填充樹T, 并且執(zhí)行c; c. L(x)—L(x)U(C2〉)進行擴展。將新產(chǎn)生的概念(An ,A)加入當 前概念集合L(n)中,則L(nH((AUB)n(CUD)n(,CUE)n(,AU"E)n((An,A)UF u c)n(3R.(AnB))n(VR A)n , F , (BUD) , ((An , A)UC), (3R,(AnB)), (VR.,A), B,(An,A)},并將L(n)賦值給L(y0),則L(y。)的值 和L(n)相同,返回步驟202執(zhí)行。
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合,完整樹中U項的深度計數(shù)b自增,新產(chǎn)生的概念的依賴集合設為 。將完整樹中U項的深度計數(shù)b自增到3,則新產(chǎn)生的概念(An,A)的依 賴集合設為{3}。
對當前概念集合L(n)應用改進的BCP優(yōu)化4支術,化簡當前概念集合L(n)。 遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, C"其 中CP Q都是形如!^U…ULiU…ULn的disjunction概念,其中n>2),并且 滿足d中存在一個U項Lj, C2中存在一個U項Lj,其中L尸"Lj,則從d和 C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4;遍歷當前概念集合L(n),不存 在滿足條件的概念d, C2,執(zhí)行step4。
如果當前概念集合L(n)中存在概念d(其中d是形如!^1_1...1_11^1_]...1_11^ 的disjunction概念,其中n》2)和「Li,且d中含有一U項Li,則從Q中刪 除Lj,執(zhí)行step5;否則退出。當前概念集合L(n)中,不存在滿足條件的概念 d和,Li,退出。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行 步驟205,否則執(zhí)行步驟步驟213。當前概念集合L(n)中沒有沖突,執(zhí)行步驟 205。
遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的(不包括原 子概念和原子概念的否定)且未存入概念的執(zhí)行隊列中的概念,存入概念的執(zhí) 行隊列,并按擴展優(yōu)先級調(diào)整此隊列。現(xiàn)未進行擴展的且未存入概念的執(zhí)行 隊列中的概念為(AniA),將其存入概念的執(zhí)行隊列,按按擴展優(yōu)先級調(diào)整此 隊列,n具有最高優(yōu)先級,所以將概念(An,A)設為概念的執(zhí)行隊列的隊頭, 此時概念的執(zhí)行隊列為(A門"iA), (3R,(AnB)), (VR.,A)繼續(xù)執(zhí)行。
判斷概念的執(zhí)行隊列是否為空,若為空,則待檢測的概念M是可滿足的, 否則執(zhí)行步驟207。當前的概念執(zhí)行隊列為(An,A), (3R.(AnB)), (VR.,A),不為空,執(zhí)行步驟207。
從概念的執(zhí)行隊列中取出概念G,如果概念G是符合產(chǎn)生型擴展規(guī)則的 概念,則執(zhí)行步驟209,否則執(zhí)行步驟210。從概念的執(zhí)行隊列中取出概念G, G為(An,A),由于該概念它不符合產(chǎn)生型擴展規(guī)則,所以執(zhí)行步驟210。
如果在概念G中有角色Ri(( L(n), L(y》))出現(xiàn),并且Ri在角色集合Rset 中,那么將對概念G應用符合條件的Tableau擴展規(guī)則進行擴展,并將新產(chǎn)生 的概念加入L(yi)中,返回步驟202執(zhí)行。否則執(zhí)行步驟212。由于當前角色 集合Rset為空,所以執(zhí)行步驟212。
對概念G利用符合條件的Tableau擴展規(guī)則進行擴展,將新產(chǎn)生的概念加 入當前概念集合L(n)中,并將L(n)賦值給L(yo),返回步驟202執(zhí)行。概念G 即(An,A),
利用符合條件的Tableau擴展規(guī)則進行擴展,它符合n擴展規(guī)則(如果 ①dnC^L(x),②(d,C2〉門L(x)-0,那么L(x)—L(x)U(d,C2〉)的擴展條件, 進而利用n規(guī)則進行擴展,將(A, ,A〉并入當前概念集合L(n),則并后的當 前概念集合L(n),則L(n)-((AUB)n(CUD)n(,CUE)n(,AU,E)n((An, A)UFuC)n(3R.(AnB))n(VR~ A)n,F(xiàn), (BUD), ((An"A)UC), (3R,(AnB)), (VR.,A), B,(An,A), A, ,A},由于將L(n)賦值給L(y0),所以L(n)的值 和L(yo)相同,返回步驟202。
根據(jù)概念的依賴集合更新方法,更新概念集合中的每個概念的依賴集合。 如果新產(chǎn)生的概念是通過應用確定性擴展規(guī)則得到的,則確定該新產(chǎn)生的概 念是由哪些概念擴展而來,將這些概念的依賴集合賦值給新產(chǎn)生的概念的依 賴集合。否則,執(zhí)行下一步。當前新產(chǎn)生的概念是通過n規(guī)則擴展而來的,他 們都是由概念(An,A)擴展而來,而該概念的依賴集合為{3},則新產(chǎn)生的概 念A, ,A,的依賴都是{3}。
對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化簡當前概念集合L(n)。
遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, C"其 中d, C2都是形如L!U…ULiU…ULn的disjunction概念,其中n>2),并且 滿足d中存在一個U項Li, C2中存在一個U項Lj,其中L尸iLj,則從d和C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4;遍歷當前的概念集合,不存在 滿足條件的概念d, C2,執(zhí)行step4。
如果當前概念集合L(n)中存在概念Q(其中d是形如L,U...ULiU...ULn 的disjunction概念,其中n》2)和"Li,且d中含有一U項Li,則從d中刪 除Li,執(zhí)行step5;否則退出。。當前的概念集合中,不存在滿足條件的概念 d和""Lj,退出。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行 步驟205,否則執(zhí)行步驟步驟213。當前概念集合L(n)二((AUB)n(CUD)n("n
cuE)n(~nAu"E)n((An ,A)uFuc)n(3R,(AnB))n(VR,A)n "F, (bud),
((An,A)UC), (3R,(A門B)), (VR.,A), B,(An,A), A, ,A},其中概念 A和,A發(fā)生沖突,則執(zhí)行步驟213。
取沖突概念的依賴集合的并集S中最大值m,判定(m-l)是否小于等于0。 如果小于等于0,則表明概念不可滿足并退出,否則執(zhí)行步驟215;當前沖突 的概念為A和,A,他們的依賴集合都是卩),所以并集中最大值m-3,m-lX), 所以執(zhí)行步驟215。
從當前概念集合L(n)中將沖突的概念和它所依賴的概念都刪除,并將沖 突的概念所依賴的概念取反添加到當前概念集合L(n)中,并將L(n)賦值給 L(yi)。完整樹U項的深度計數(shù)b的值設為(m-l),返回步驟202執(zhí)行。從L(n)二
((AuB)n(cuD)n( , cuE)n( , au , E)n((An , a)uf u C)n(3R.(AnB))n(VR「A)n,F(xiàn), (BUD), ((An,A)UC), (3R,(AnB)), (VR. ,A), B,(An,A), A, ,A〉中將沖突的概念A和,A以及它們所依賴的概 念(An A)刪除,并將(An ~n A)的否定加入到L(n)中,此時 L(n)={(AUB)n(CUD)n( , CUE)n( i AU ~n E)n((An , A)UF u C)n(3R.(AnB))門(VR「A)n,F(xiàn), (BUD), ((An~iA)UC), (3R,(AnB)), (VR. ■■A), B,"n(An,A)},將L(n)賦值給L(y0),則此時L(y。)和L(n)具有同樣的 值。完整樹U項的深度計數(shù)b的值為2(m-l=2),返回步驟202。
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合。由于當前概念集合中新產(chǎn)生的概念是由沖突概念所依賴的概念取反而得到的,新產(chǎn)生的概念即,(An,A)的依賴集合設為口)(當前完整樹口項
的深度計數(shù)b的值為2)。
對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化簡當前概念集合L(n)。 遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, C^(其 中Cl5 C2都是形如L!U…ULiU…ULn的disjunction概念,其中n》2),并且 滿足d中存在一個U項Li, C2中存在一個U項Lj,其中L尸,Lj,則從d和 C2刪除Lj、 Lj,執(zhí)行Step2;否則執(zhí)行Step4;遍歷當前的概念集合,不存在 滿足條件的概念d, C2,執(zhí)行step4。
如果當前概念集合L(n)中存在概念C"其中d是形如L!U...ULiU...ULn 的disjunction概念,其中n》2)和,Li,且Ci中含有一U項Li,則從d中刪 除Li,執(zhí)行step5;否則退出。當前的概念集合L(n)中,存在滿足條件的概念 d和,Li,即Q為((An,A)UC), ,Li為,(An,A),則將(An,A)從d中 刪除,執(zhí)行step5。
將,(An ,A)從L(n)中刪除,并將d的剩余部分就是C加入到當前概念 集合L(n)中,更新當前概念集合L(n),則L(n)二((AuB)n(CUD)n("CUE)n(,
au , E)n((An ~> a)uf u c)n(3R.(AnB》n(VR ~> a)n , f , (bud),
(3R,(AnB)), (VR."A), B, C}。
如果新產(chǎn)生的概念是由BCP化簡而來,則確定該概念是由哪兩個扭克念化 簡得到的,取化筒前的兩個概念的依賴集合的并集中的最大值,賦值給新產(chǎn) 生的概念的依賴集合。新產(chǎn)生的概念C是由概念((An,A)UC)和,(An,A) 經(jīng)BCP化簡得到的,((Ari"nA)UC)的依賴集合為(1), ^(AniA)的依賴集合 為(2》,取((An "nA)UC)和"(An "iA)兩個概念的依賴集合的并集中的最大值 也就是2,則新產(chǎn)生的概念C的依賴集合就是{2}。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行 步驟205,否則執(zhí)行步驟步驟213。當前概念集合L(n)^(AUB)n(CUD)n("r
CuE)n(,Au ,E)n((An ,A)uFuc)n(3R.(AnB))n(vr,A)n ,F(xiàn), (bud),
(3R,(AnB)), (VR.,A), B,C},不存在沖突,執(zhí)行步驟205。
遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的(不包括原子概念和原子概念的否定)且未存入概念的執(zhí)行隊列中的概念,存入概念的執(zhí)
行隊列,并按擴展優(yōu)先級調(diào)整此隊列;當前概念集合L(n)中未進行擴展的且 未存入概念的執(zhí)行隊列中的扭克念,只有概念C,而C是原子概念,不用將其 存入概念的執(zhí)行隊列中,繼續(xù)執(zhí)行。
判斷概念的執(zhí)行隊列是否為空,若為空,則待檢測的概念M是可滿足的, 否則執(zhí)行步驟2(T7。當前的概念執(zhí)行隊列為(3R,(AnB)), (VR.~nA),不為 空,執(zhí)行步驟207。
從概念的執(zhí)行隊列中取出概念G,如果概念G是符合產(chǎn)生型擴展規(guī)則的 概念,則執(zhí)行步驟209,否則執(zhí)行步驟210。從概念的執(zhí)行隊列中取出概念G, G為(3R,(AnB)),它符合3規(guī)則的條件,而存在規(guī)則是產(chǎn)生型規(guī)則,所以執(zhí)行 步驟209。
對概念G利用符合條件的Tableau擴展規(guī)則進行擴展,同時創(chuàng)建一個新的 概念集合L(yi)和一個產(chǎn)生型規(guī)則中指定的角色Rj(( L(n), L(yi))),并將角色 Ri存入到角色集合Rset中。將新產(chǎn)生的概念加入到新的概念集合L(yi)中,并 將L(yi)賦值給當前概念集合L(n),返回步驟202執(zhí)行。對概念(3R.(AnB))應 用3規(guī)則(如果①3R,CEL(x),②不存在y滿足L(〈x,y"-R并且CEL(y),那 么創(chuàng)建一個新的節(jié)點y和邊〈x,y〉,其中L(yh(C〉且L(〈x,y"-R)進行擴展,創(chuàng) 建一個新的概念集合L(y!)和一個產(chǎn)生型規(guī)則中指定的二元關系Rj ,這里就 是R,且R氣L(n), L(y》),并將關系R存入到角色集合Rset中,Rset便更 新為{( L(n), L(yi))}。將新產(chǎn)生的概念加入到新的概念集合L(y,)中,概念集 合L(y,)就為((AnB》,并將L(yD賦值給當前概念集合L(n), L(n)更新為 ((A門B)h返回步驟202執(zhí)行。
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合。如果新產(chǎn)生的概念是通過應用確定性擴展規(guī)則得到的,則確定該 概念是由哪些概念擴展而來,將這些概念的依賴集合賦值給新產(chǎn)生的概念的 依賴集合,退出。當前概念集合L(n)中的概念(AnB)是通過(3R.(AnB)擴展得 到的,而(311.(八["18)概念的依賴集合為{1},則概念(AnB)的依賴集合為(1〉。
對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化簡當前概念集合L(n)。
24遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, (:2(其 中Q, C2都是形如L!U…ULiU…UU的disjunction概念,其中n>2),并且 滿足d中存在一個U項Li, C2中存在一個U項Lj,其中L尸,Lj,則從Q和 C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4;遍歷當前概念集合L(n),不存 在滿足條件的概念d, C2,執(zhí)行step4。
如果當前概念集合L(n)中存在概念Q(其中d是形如LiU...ULiU...UU 的disjunction概念,其中n》2)和,Li,且d中含有一U項Lj,則從d中刪 除Lj,執(zhí)行step5;否則退出。當前概念集合L(n)中,不存在滿足條件的概念 d和,Li,退出。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行 步驟205,否則執(zhí)行步驟步驟213。當前概念集合L(n)中沒有沖突,執(zhí)行步驟 205。
遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的(不包括原 子概念和原子概念的否定)且未存入概念的執(zhí)行隊列中的概念,存入概念的執(zhí) 行隊列,并按擴展優(yōu)先級調(diào)整此隊列。當前概念集合L(n)中未進行擴展的, 且未存入概念的執(zhí)行隊列中的概念僅有(AnB),將其存入到概念的執(zhí)行隊列 中,并按擴展優(yōu)先級調(diào)整概念的執(zhí)行隊列為(AnB), (VR.,A)繼續(xù)執(zhí)行。
判斷概念的執(zhí)行隊列是否為空,若為空,則待檢測的概念M是可滿足的, 否則執(zhí)行步驟207。當前的概念執(zhí)行隊列為(AnB), (VR.,A)不為空,執(zhí)行 步驟207。
從概念的執(zhí)行隊列中取出概念G,如果概念G是符合產(chǎn)生型擴展規(guī)則的 概念,則執(zhí)行步驟209,否則執(zhí)行步驟210。從概念的執(zhí)行隊列中取出概念G, G為(A門B),它不符合產(chǎn)生型的擴展規(guī)則,所以執(zhí)行步驟210。
如果在概念G中有角色Ri(( L(n), L(yi)))出現(xiàn),并且Rj在角色集合Rset 中,那么將對概念G應用符合條件的Tableau擴展規(guī)則進行擴展,并將新產(chǎn)生 的概念加入L(y》中,返回步驟202。否則執(zhí)行步驟212。由于概念G就是 (AnB), (AnB)中不存在角色Ri,所以執(zhí)行步驟212。
對概念G利用符合條件的Tableau擴展規(guī)則進行擴展,將新產(chǎn)生的概念加入當前概念集合L(n)中,并將L(n)賦值給L(yi),返回步驟202執(zhí)行。對概念 G ,即(AnB)利用符合條件的Tableau擴展規(guī)則進行擴展,也就是對概念(AnB) 應用n M>則(如果 dnC2eL(x), ②(d,C2)DL(x)-0 , 那么 L(x)—L(x)U(d,C2))擴展,將新產(chǎn)生的概念A, B加入當前概念集合L(n)中, 則L(n) = {(AnB),A, B},并將L(n)賦值給L(yO,則L(y!)的值和L(n)相同, L(yX(AnB),A, B},返回步驟202執(zhí)行。
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合。如果新產(chǎn)生的概念是通過應用確定性擴展規(guī)則得到的,則確定該 新產(chǎn)生的概念是由哪些概念擴展而來,將這些概念的依賴集合賦值給新產(chǎn)生 的概念的依賴集合,退出。當前概念集合L(n)中的概念A, B是通過(AnB) 擴展得到的,而(A門B)概念的依賴集合為0),則概念A, B的依賴集合都為{"。
對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化簡當前概念集合L(n)。 遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, <:2(其 中d, C2都是形如LiU…ULiU…ULn的disjunction概念,其中n>2),并且 滿足d中存在一個U項Li, C2中存在一個U項Lj,其中Li=~>Lj,則從d和 C2刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4;遍歷當前概念集合L(n),不存 在滿足條件的概念d, C2,執(zhí)行step4。
如果當前概念集合L(n)中存在概念C"其中d是形如LiU...ULiU...ULn 的disjunction概念,其中n》2)和,Li,且d中含有一U項Li,則從Q中刪 除Li,執(zhí)行step5;否則退出。當前概念集合L(n)中,不存在滿足條件的概念 Ci和,Lj,退出。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行 步驟205,否則執(zhí)行步驟步驟213。當前概念集合L(n)^(AnB),A, B},沒有 沖突,執(zhí)行步驟205。
遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的(不包括原 子概念和原子概念的否定)且未存入概念的執(zhí)行隊列中的概念,存入概念的執(zhí) 行隊列,并按擴展優(yōu)先級調(diào)整此隊列。當前概念集合L(n)中未進行擴展的,且未存入概念的執(zhí)行隊列中的概念有A, B,但A和B都是原子概念,所以 不存入概念的執(zhí)行隊列中,故當前的概念執(zhí)行隊列為(VR."A),繼續(xù)執(zhí)行。
判斷概念的執(zhí)行隊列是否為空,若為空,則待檢測的概念M是可滿足的, 否則執(zhí)行步驟207。當前的概念執(zhí)行隊列為(VR."A)不為空,執(zhí)行步驟207。
從概念的執(zhí)行隊列中取出概念G,如果概念G是符合產(chǎn)生型擴展規(guī)則的 概念,則執(zhí)行步驟209,否則執(zhí)行步驟210。從概念的執(zhí)行隊列中取出概念G, G為(VR.,A),它不符合產(chǎn)生型的擴展規(guī)則,所以執(zhí)行步驟210。
如果在概念G中有角色Ri(( L(n), L(y》))出現(xiàn),并且Ri在角色集合Rset 中,那么對概念G應用符合條件的Tableau擴展規(guī)則進行擴展,將新產(chǎn)生的概 念加入L(y;)中,并將L(yi)賦值給L(n),返回步驟202執(zhí)行。否則執(zhí)行步驟210。 現(xiàn)在概念(VR.,A)中有角色R,并且R在角色集合Rset中,對概念(VR., A)應用V規(guī)則(如果①VR.CeL(x),②不存在y滿足L(<x,y>)=R并且CEL(y); 那么L(y)—L(y)U(C"擴展,將新產(chǎn)生的概念存入,A加入L(yi)中,則L(yi) 更新為((A門B), A, B, ,AL則L(n)亦為"AnB), A, B, ,A},返回步驟 202執(zhí)行。
根據(jù)概念的依賴集合更新方法,更新當前概念集合L(n)中的每個概念的 依賴集合。如果新產(chǎn)生的概念是通過應用確定性擴展規(guī)則得到的,則確定該 概念是由哪些概念擴展而來,將這些概念的依賴集合賦值給新產(chǎn)生的概念的 依賴集合,退出。當前概念集合L(n)中的概念"^A是通過(VR,,A)擴展得到 的,而(VR.,A)概念的依賴集合為(1》,則概念,A的依賴集合為(1〉。
對當前概念集合L(n)應用改進的BCP優(yōu)化技術,化簡當前概念集合L(n)。
遍歷當前概念集合L(n)。如果當前概念集合L(n)存在兩個概念d, (:2(其 中d, C2都是形如"U...ULiU...ULn的disjunction概念,其中n>2),并且 滿足Q中存在一個U項Li, C2中存在一個U項Lj,其中Li-,Lj,則從d和 Q刪除Li、 Lj,執(zhí)行Step2;否則執(zhí)行Step4;遍歷當前概念集合L(n),不存 在滿足條件的概念d, C2,執(zhí)行step4。
如果當前概念集合L(n)中存在概念Q(其中Ct是形如LiU...ULiU...ULn 的disjunction概念,其中n^2)和,Li,且d中含有一U項Lj,則從d中刪除Li,執(zhí)行step5;否則退出。當前概念集合L(n)中,不存在滿足條件的概念 C,和,Li,退出。
遍歷當前概念集合L(n),將當前概念集合L(n)中未進行擴展的(不包括原 子概念和原子概念的否定)且未存入概念的執(zhí)行隊列中的概念,存入概念的執(zhí) 行隊列,并按擴展優(yōu)先級調(diào)整此隊列。當前未存入概念的執(zhí)行隊列中的概念 有-nA,但它是原子概念A的否定,所以不用存入概念的執(zhí)行隊列,當前概 念的執(zhí)行隊列為空。
判斷當前概念集合L(n)中的概念是否存在沖突,若不存在沖突,則執(zhí)行 步驟205,否則執(zhí)行步驟步驟213。當前概念集合L(n)為((A門B),"iA, A, B), 在當前概念集合L(n)中,既存在概念A又存在概念A的非("iA),所以當前 概念集合L(n)有沖突發(fā)生,執(zhí)行步驟步驟213。
取沖突概念的依賴集合的并集S中最大值m,判定(m-l)是否小于等于0。 如果小于等于O,則表明概念不可滿足并退出,否則執(zhí)行stepl2;取沖突概念 的依賴集合的并集S中最大值m,當前沖突的兩個概念是,A和A, ,A的依 賴集合為{1} , A的依賴集合也為{1},所以它們的并集也就是{ 1},最大值m=l , 而(>11-1)=0,這表明當前沖突的概念是由待檢測概念的模型所對應的完整樹的 根節(jié)點導致的,這表明待檢測的概念M是不可滿足的,退出。
為了驗證優(yōu)化方法的效率,我們選取五個/>測本體以及一個我們自己構 建的本體來進行數(shù)據(jù)測試。我們對待測本體分別應用僅帶有簡單預處理優(yōu)化 技術的算法、帶BCP優(yōu)化技術的算法、帶改進的回跳優(yōu)化技術的算法以及同 時帶有兩種優(yōu)化技術的算法進行對比測試。測試環(huán)境為CPU Daul Core 1.9GHz, Memory 1GB, Windows XP操作系統(tǒng)。
實驗數(shù)據(jù)表明采用基于改進的BCP的回跳優(yōu)化算法的效率明顯優(yōu)于沒
根據(jù)本體規(guī)模和描述語言的復雜程度不同,效率提高的程度也不盡相同。但 大體都能夠提高6%左右。
本發(fā)明實施例的技術方案帶來的有益效果如下本發(fā)明基于Tableau推理
28算法給出了一種全新的、高效的混合優(yōu)化技術(基于改進的BCP的回跳優(yōu)化技 術),對Tableau算法進行了優(yōu)化。由于混合優(yōu)化技術的引入,提高了算法的 推理效率?,F(xiàn)已證明該方法具有可判定性、可靠性和完備性。這些性質(zhì)保證 了該算法能夠在有限步驟內(nèi)正確、可靠地實現(xiàn)推理功能。
本發(fā)明實施例提供了一種實現(xiàn)本體概念的可滿足性檢測的裝置,如圖3 所示,包括
初始化模塊301 ,用于初始化本體概念的概念集合; 化簡模塊302,用于應用改進的BCP優(yōu)化技術化簡所述初始化模塊301 得到的概念集合;
判斷模塊303,用于根據(jù)所述化簡模塊302得到的化簡后的概念集合判斷 所述本體概念的可滿足性。
其中,所述初始化模塊301具體用于將所述本體概念的依賴集合的初值 設置為所述本體概念中disjunction項的深度計數(shù)值,將所述深度計數(shù)值初值 設為1,將所述本體概念的執(zhí)行隊列初值設置為空。
其中,所述化筒模塊302具體用于若所述概念集合中存在兩個disjunction 概念Q和C2,并且Q中存在一個disjunction項Lj, C2中存在一個disjunction 項Lj,而且L產(chǎn)"Lj,則從所述d和C2中刪除Lj和Lj,將d和C2的剩余部 分析取起來加入所述概念集合中產(chǎn)生新的概念集合,將d和C2的依賴集合的 并集中分支深度的最大值賦值給新產(chǎn)生的概念的依賴集合;若所述概念集合 中存在disjunction扭克念d和disjunction項~>Li,且Ci中含有disjunction項Lj,
則從d中刪除Li,將-nLi從所述概念集合中刪除,將d的剩余部分加入所述
概念集合產(chǎn)生新的概念集合,將Q和,Lj的依賴集合的并集中分支深度的最 大值賦值給新產(chǎn)生的概念的依賴集合。
其中,所述判斷模塊303具體用于判斷所述化簡后的概念集合中的概念 是否存在沖突,若不存在沖突,則將所述化簡后的概念集合中符合條件的概 念存入概念的執(zhí)行隊列,并按擴展優(yōu)先級調(diào)整所述執(zhí)行隊列,根據(jù)所述調(diào)整 后的執(zhí)行隊列判斷所述本體概念的可滿足性;若存在沖突,則根據(jù)沖突概念的依賴集合的并集中分支深度最大值判斷所述本體概念的可滿足性。
其中,所述判斷模塊303包括執(zhí)行隊列處理單元304,用于將所述化簡 后的概念集合中未進行擴展的且未存入所述概念的執(zhí)行隊列中的概念存入所 述概念的執(zhí)行隊列,所述未進行擴展的且未存入所述概念的執(zhí)行隊列中的概 念不包括原子概念和原子概念的否定。
其中,所述判斷模塊303包括執(zhí)行隊列判斷單元305,用于判斷所述調(diào) 整后的執(zhí)行隊列是否為空,若為空,則所述本體概念是可滿足的;若不為空, 取出所述調(diào)整后的執(zhí)行隊列中的概念,根據(jù)取出的概念產(chǎn)生新的概念集合, 根據(jù)所述新的概念集合判斷所述本體概念的可滿足性。
其中,所述所述執(zhí)行隊列判斷單元305包括擴展子單元306,用于當所 述取出的概念符合產(chǎn)生型擴展規(guī)則,對所述取出的概念應用產(chǎn)生型擴展規(guī)則 進行擴展,將擴展后新產(chǎn)生的概念加入到所述概念集合中產(chǎn)生新的概念集合; 當所述取出的概念不符合產(chǎn)生型擴展規(guī)則,對所述取出的概念應用非產(chǎn)生型 擴展規(guī)則進行擴展,將擴展后新產(chǎn)生的概念加入到所述概念集合中產(chǎn)生新的 概念集合。
其中,所述判斷模塊303包括沖突概念判斷單元307,用于判斷所述沖 突概念的依賴集合的并集中分支深度最大值是否小于等于1,若是,則所述本 體概念是不可滿足的;若不是,則將所述沖突概念所依賴的概念取反添加到 所述化簡后的概念集合中產(chǎn)生新的概念集合,根據(jù)所述新的概念集合判斷所 述本體概念的可滿足性。
本發(fā)明實施例的技術方案帶來的有益效果如下通過將改進的BCP優(yōu)化 技術應用于本體概念的可滿足性檢測中,對disjunction項進行了充分的化簡, 提高了檢測效率。
通過以上的實施方式的描述,本領域的技術人員可以清楚地了解到本發(fā) 明可以通過硬件實現(xiàn),也可以可借助軟件加必要的通用石更件平臺的方式來實 現(xiàn)基于這樣的理解,本發(fā)明的技術方案可以以軟件產(chǎn)品的形式體現(xiàn)出來,該 軟件產(chǎn)品可以存儲在一個非易失性存儲介質(zhì)(可以是CD-ROM, U盤,移動硬盤等)中,包括若干指令用以使得一臺計算機設備(可以是個人計算機, 服務器,或者網(wǎng)絡設備等)執(zhí)行本發(fā)明各個實施例所述的方法。
總之,以上所述僅為本發(fā)明的較佳實施例而已,并非用于限定本發(fā)明的 保護范圍。凡在本發(fā)明的精神和原則之內(nèi),所作的任何修改、等同替換、改 進等,均應包含在本發(fā)明的保護范圍之內(nèi)。
權利要求
1、一種本體概念的可滿足性檢測方法,其特征在于,包括初始化本體概念的概念集合;應用改進的布爾約束傳播BCP優(yōu)化技術化簡所述概念集合;根據(jù)化簡后的概念集合判斷所述本體概念的可滿足性。
2、 如權利要求1所述的方法,其特征在于,所述應用改進的BCP優(yōu)化技 術化簡所述概念集合包括若所述概念集合中存在兩個析取disjunction概念d和C2,并且Ci中存 在一個disjunction項Lj, C2中存在一個disjunction項Lj,而且L產(chǎn),Lj,則從 所述d和C2中刪除Lj和Lj,將Q和C2的剩余部分析取起來加入所述概念集 合中產(chǎn)生新的概念集合,將d和C2的依賴集合的并集中分支深度的最大值賦 值給新產(chǎn)生的概念的依賴集合;若所述沖既念集合中存在disjunction扭無念d和disjunction項「Li, "Li表 示Li的非,且d中含有disjunction項Lj,則從C!中刪除Li,將,Li從所述 概念集合中刪除,將d的剩余部分加入所述概念集合產(chǎn)生新的概念集合,將 d和,Li的依賴集合的并集中分支深度的最大值賦值給新產(chǎn)生的概念的依賴 集合。
3、 如權利要求l所述的方法,其特征在于,所述根據(jù)化簡后的概念集合 判斷所述本體概念的可滿足性包括判斷所述化簡后的概念集合中的概念是否存在沖突,若不存在沖突,則 將所述化簡后的概念集合中符合條件的概念存入概念的執(zhí)行隊列,并按擴展 優(yōu)先級調(diào)整所述執(zhí)行隊列,根據(jù)所述調(diào)整后的執(zhí)行隊列判斷所述本體概念的 可滿足性;若存在沖突,則根據(jù)沖突概念的依賴集合的并集中分支深度最大值判斷 所述本體概念的可滿足性。
4、 如權利要求3所述的方法,其特征在于,所述將化筒后的概念集合中 符合條件的概念存入概念的執(zhí)行隊列包括將所述化筒后的概念集合中未進行擴展的且未存入所述概念的執(zhí)行隊列中的概念存入所述概念的執(zhí)行隊列,所述未進行擴展的且未存入所述概念的 執(zhí)行隊列中的概念不包括原子概念和原子概念的否定。
5、 如權利要求3所述的方法,其特征在于,所述根據(jù)所述調(diào)整后的執(zhí)行 隊列判斷所述本體概念的可滿足性包括判斷所述調(diào)整后的執(zhí)行隊列是否為空,若為空,則所述本體概念是可滿 足的;若不為空,取出所述調(diào)整后的執(zhí)行隊列中的概念,根據(jù)取出的概念產(chǎn)生 新的概念集合,根據(jù)所述新的概念集合判斷所述本體概念的可滿足性。
6、 如權利要求5所述的方法,其特征在于,所述根據(jù)取出的概念產(chǎn)生新 的概念集合包括如果所述取出的概念符合產(chǎn)生型擴展規(guī)則,對所述取出的概念應用產(chǎn)生 型擴展規(guī)則進行擴展,將擴展后新產(chǎn)生的概念加入到所述概念集合中產(chǎn)生新 的概念集合;如果所述取出的概念不符合產(chǎn)生型擴展規(guī)則,對所述取出的概念應用非 產(chǎn)生型擴展規(guī)則進行擴展,將擴展后新產(chǎn)生的概念加入到所述概念集合中產(chǎn) 生新的扭X念集合。
7、 如權利要求3所述的方法,其特征在于,所述根據(jù)沖突概念的依賴集 合的并集中分支深度最大值判斷所述本體概念的可滿足性包括若所述分支深度最大值小于等于1,則所述本體概念是不可滿足的; 若分支深度最大值大于1,則將所述沖突概念所依賴的概念取反添加到所述化簡后的概念集合中產(chǎn)生新的概念集合,根據(jù)所述新的概念集合判斷所述本體概念的可滿足性。
8、 一種實現(xiàn)本體概念的可滿足性檢測的裝置,其特征在于,包括 初始化模塊,用于初始化本體概念的概念集合;化簡模塊,用于應用改進的BCP優(yōu)化技術化簡所述初始化模塊得到的概 念集合;判斷模塊,用于根據(jù)所述化簡模塊得到的化簡后的概念集合判斷所述本 體概念的可滿足性。
9、 如權利要求8所述的裝置,其特征在于,所述化簡模塊具體用于若所 述概念集合中存在兩個disjunction概念d和C2,并且C!中存在一個disjunction 項Li, Q中存在一個disjunction項Lj,而且L尸"Lj,則從所述Ci和C2中刪 除Li和Lj,將d和C2的剩余部分析取起來加入所述概念集合中產(chǎn)生新的概 念集合,將d和C2的依賴集合的并集中分支深度的最大值賦值給新產(chǎn)生的概 念的依賴集合;若所述概念集合中存在disjunction概念d和disjunction項~> Li,且d中含有disjunction項Li,則從d中刪除Lj,將「Lj從所述概念集合 中刪除,將d的剩余部分加入所述概念集合產(chǎn)生新的概念集合,將d和, Li的依賴集合的并集中分支深度的最大值賦值給新產(chǎn)生的概念的依賴集合。
10、 如權利要求8所述的裝置,其特征在于,所述判斷模塊具體用于判 斷所述化簡后的概念集合中的概念是否存在沖突,若不存在沖突,則將所述 化簡后的概念集合中符合條件的概念存入概念的執(zhí)行隊列,并按擴展優(yōu)先級 調(diào)整所述執(zhí)行隊列,根據(jù)所述調(diào)整后的執(zhí)行隊列判斷所述本體概念的可滿足 性;若存在沖突,則根據(jù)沖突概念的依賴集合的并集中分支深度最大值判斷 所述本體概念的可滿足性。
11、 如權利要求8所述的裝置,其特征在于,所述判斷模塊包括 執(zhí)行隊列處理單元,用于將所述化簡后的概念集合中未進行擴展的且未所述未進行擴定。
12、 如權利要求8所述的裝置,其特征在于,所述判斷模塊包括 執(zhí)行隊列判斷單元,用于判斷所述調(diào)整后的執(zhí)行隊列是否為空,若為空,則所述本體概念是可滿足的;若不為空,取出所述調(diào)整后的執(zhí)行隊列中的概 念,根據(jù)取出的概念產(chǎn)生新的概念集合,根據(jù)所述新的概念集合判斷所述本 體概念的可滿足性。
13、 如權利要求12所述的裝置,其特征在于,所述執(zhí)行隊列判斷單元包括擴展子單元,用于當所述取出的概念符合產(chǎn)生型擴展規(guī)則,對所述取出的概念應用產(chǎn)生型擴展規(guī)則進行擴展,將擴展后新產(chǎn)生的概念加入到所述概念集合中產(chǎn)生新的概念集合;當所述取出的概念不符合產(chǎn)生型擴展規(guī)則,對 所述取出的概念應用非產(chǎn)生型擴展規(guī)則進行擴展,將擴展后新產(chǎn)生的概念加 入到所述概念集合中產(chǎn)生新的概念集合。
14、如權利要求8所述的裝置,其特征在于,所述判斷模塊包括 沖突概念判斷單元,用于判斷所述沖突概念的依賴集合的并集中分支深 度最大值是否小于等于l,若是,則所述本體概念是不可滿足的;若不是,則 將所述沖突概念所依賴的概念取反添加到所述化簡后的概念集合中產(chǎn)生新的 概念集合,根據(jù)所述新的概念集合判斷所述本體概念的可滿足性。
全文摘要
本發(fā)明實施例公開了一種本體概念的可滿足性檢測的方法和裝置,所述方法包括以下步驟初始化本體概念的概念集合;應用改進的BCP(BooleanConstraint Propagation,布爾約束傳播)優(yōu)化技術化簡所述概念集合;根據(jù)化簡后的概念集合判斷所述本體概念的可滿足性。本發(fā)明的實施例中,通過將改進的BCP優(yōu)化技術應用于本體概念的可滿足性檢測中,對disjunction(析取)項進行了充分的化簡,提高了檢測效率。
文檔編號H04L12/24GK101686143SQ200810149698
公開日2010年3月31日 申請日期2008年9月22日 優(yōu)先權日2008年9月22日
發(fā)明者瑤 劉, 葉育鑫, 翼 張, 張永剛, 車海燕 申請人:華為技術有限公司