本發(fā)明涉及信息系統(tǒng)技術(shù)領(lǐng)域，特別是涉及一種基于信息系統(tǒng)的知識(shí)驗(yàn)證方法及系統(tǒng)。

背景技術(shù)：

近年來(lái)，隨著信息技術(shù)在各行各業(yè)工作中的廣泛應(yīng)用，業(yè)務(wù)工作的“技術(shù)密集”、“知識(shí)密集型”的特點(diǎn)日益凸顯，知識(shí)被不斷的“生產(chǎn)”出來(lái)，而且隨著各種大型復(fù)雜信息系統(tǒng)在業(yè)務(wù)中的普遍應(yīng)用，這種“生產(chǎn)”的速度還在進(jìn)一步加快，知識(shí)對(duì)業(yè)務(wù)的推動(dòng)作用也進(jìn)一步加強(qiáng)。對(duì)于每一個(gè)業(yè)務(wù)執(zhí)行人員來(lái)說(shuō)，把前人積累的知識(shí)加以組織和應(yīng)用，能夠提高認(rèn)識(shí)能力和實(shí)踐能力，提高工作效率；對(duì)于復(fù)雜信息系統(tǒng)的研發(fā)專家來(lái)說(shuō)，對(duì)系統(tǒng)所屬領(lǐng)域業(yè)務(wù)知識(shí)的理解和應(yīng)用，更加有助于加速信息系統(tǒng)的開(kāi)發(fā)，提高用戶的滿意程度。然而，目前各行業(yè)管理業(yè)務(wù)經(jīng)驗(yàn)和知識(shí)積累的主要手段是報(bào)告撰寫、開(kāi)會(huì)研究、專家授課、資料編制、師徒傳幫帶等，雖然這些手段一直以來(lái)發(fā)揮了巨大的作用，但由于知識(shí)的收集、整理、共享、復(fù)用的效率低，缺乏規(guī)范的流程和手段。因此，現(xiàn)在急需一種信息系統(tǒng)能夠?qū)F(xiàn)有知識(shí)規(guī)范的、完整的、有邏輯的表示，提高知識(shí)復(fù)用率。

技術(shù)實(shí)現(xiàn)要素：

本發(fā)明的目的是提供一種基于信息系統(tǒng)的知識(shí)驗(yàn)證方法及系統(tǒng)，通過(guò)建立知識(shí)表示系統(tǒng)并驗(yàn)證其系統(tǒng)的完整性和正確性，得到一種信息系統(tǒng)能夠?qū)F(xiàn)有知識(shí)規(guī)范的、完整的、有邏輯的表示，提高知識(shí)復(fù)用率。

為實(shí)現(xiàn)上述目的，本發(fā)明提供了如下方案：

一種基于信息系統(tǒng)的知識(shí)驗(yàn)證方法，所述知識(shí)驗(yàn)證方法，包括：

構(gòu)建知識(shí)視圖元模型；

根據(jù)所述知識(shí)視圖元模型，確定所述知識(shí)視圖元模型的語(yǔ)義框架，確定所述知識(shí)視圖元模型的概念以及確定所述概念之間的關(guān)系，得到擴(kuò)展后的知識(shí)視圖模型；

根據(jù)所述擴(kuò)展后的知識(shí)視圖模型，建立基于信息系統(tǒng)的知識(shí)表示系統(tǒng)；

判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系，所述關(guān)系節(jié)點(diǎn)x表示所述知識(shí)視圖模型概念之間的關(guān)系；

若是，則確定所述知識(shí)表示系統(tǒng)具有完整性和正確性；

若否，則終止所述關(guān)系節(jié)點(diǎn)x所對(duì)應(yīng)的知識(shí)視圖模型的判斷。

可選的，構(gòu)建知識(shí)視圖元模型，具體包括：構(gòu)建業(yè)務(wù)目標(biāo)視圖元模型、構(gòu)建節(jié)點(diǎn)視圖元模型、構(gòu)建資源視圖元模型、構(gòu)建信息視圖元模型、構(gòu)建活動(dòng)視圖元模型以及構(gòu)建能力視圖元模型。

可選的，所述確定所述知識(shí)視圖元模型的語(yǔ)義框架，確定所述知識(shí)視圖元模型的概念以及確定所述概念之間的關(guān)系，包括：確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖元模型的語(yǔ)義框架，確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖元模型的概念以及確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖元模型概念之間的關(guān)系，得到擴(kuò)展后的知識(shí)視圖模型；其中，擴(kuò)展后的知識(shí)視圖模型包括：業(yè)務(wù)目標(biāo)視圖模型、節(jié)點(diǎn)視圖模型、資源視圖模型、信息視圖模型、活動(dòng)視圖模型以及能力視圖模型；

所述業(yè)務(wù)目標(biāo)視圖模型，用于分析實(shí)現(xiàn)能力業(yè)務(wù)知識(shí)表示系統(tǒng)的目標(biāo)以及為達(dá)到所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)的目標(biāo)具備能力和執(zhí)行活動(dòng)；

所述節(jié)點(diǎn)視圖模型，用于提供所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)的部署情況、位置情況，以及在所屬能力業(yè)務(wù)知識(shí)表示系統(tǒng)中節(jié)點(diǎn)完成的動(dòng)作行為，其中，所述復(fù)能力業(yè)務(wù)知識(shí)表示系統(tǒng)中節(jié)點(diǎn)是完成使命任務(wù)的基本單元；

所述資源視圖模型，用于為所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)提供的物理平臺(tái)、組織機(jī)構(gòu)、其它信息支持的資源要素；

所述信息視圖模型，用于為所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)提供信息的輸入端口、信息的輸出端口、信息的傳輸，細(xì)化交換信息以及明確所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)中交換信息的屬性；

所述活動(dòng)視圖模型，用于分析活動(dòng)的輸入和輸出、活動(dòng)之間的分解關(guān)系，所述節(jié)點(diǎn)行開(kāi)展的活動(dòng)，具體包括分析活動(dòng)的輸入和輸出之間的信息流關(guān)系，以及執(zhí)行節(jié)點(diǎn)行為；

所述能力視圖模型，用于根據(jù)所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)中的能力的測(cè)度、特性、演化，評(píng)估能力以及組合能力，用戶評(píng)估所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)。

可選的，在判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系之前，還包括：

采用模糊描述邏輯f-SHIN算法，將所述擴(kuò)展后的知識(shí)視圖模型，轉(zhuǎn)換成以Tbox公理集中的元素形式表示。

可選的，判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系，具體包括：采用≥和≤擴(kuò)展規(guī)則，判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系。

一種基于信息系統(tǒng)的知識(shí)驗(yàn)證系統(tǒng)，所述知識(shí)驗(yàn)證系統(tǒng)，包括：知識(shí)視圖元模型構(gòu)建模塊、擴(kuò)展后知識(shí)視圖模型得到模塊、知識(shí)表示系統(tǒng)建立模塊、判斷模塊、第一結(jié)果輸出模塊以及第二結(jié)果輸出模塊；

所述知識(shí)視圖元模型構(gòu)建模塊，用于構(gòu)建知識(shí)視圖元模型；

所述擴(kuò)展后知識(shí)視圖模型得到模塊，用于根據(jù)所述知識(shí)視圖元模型，確定所述知識(shí)視圖元模型的語(yǔ)義框架，確定所述知識(shí)視圖元模型的概念以及確定所述概念之間的關(guān)系，得到擴(kuò)展后的知識(shí)視圖模型；

所述知識(shí)表示系統(tǒng)建立模塊，用于根據(jù)所述擴(kuò)展后的知識(shí)視圖模型，建立基于信息系統(tǒng)的知識(shí)表示系統(tǒng)；

所述判斷模塊，用于判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系，得到第一判斷結(jié)果；所述關(guān)系節(jié)點(diǎn)x表示所述知識(shí)視圖元模型概念之間的關(guān)系；

確定模塊，用于當(dāng)所述第一判斷結(jié)果表示所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x具備合法關(guān)系，確定所述知識(shí)表示系統(tǒng)具有完整性和正確性；

終止模塊，用于當(dāng)所述第一判斷結(jié)果表示所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x不具備合法關(guān)系，終止所述關(guān)系節(jié)點(diǎn)x所對(duì)應(yīng)的知識(shí)視圖元模型的判斷。

可選的，所述知識(shí)視圖元模型構(gòu)建模塊，包括：

知識(shí)視圖元模型構(gòu)建子模塊，用于構(gòu)建業(yè)務(wù)目標(biāo)視圖元模型、構(gòu)建節(jié)點(diǎn)視圖元模型、構(gòu)建資源視圖元模型、構(gòu)建信息視圖元模型、構(gòu)建活動(dòng)視圖元模型以及構(gòu)建能力視圖元模型。

可選的，所述擴(kuò)展后知識(shí)視圖模型得到模塊，包括：

語(yǔ)義框架確定子模塊，用于確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖的語(yǔ)義框架元模型；

概念確定子模塊，用于確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖的概念元模型；

概念之間關(guān)系確定子模塊，用于確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖元模型概念之間的關(guān)系；

擴(kuò)展后知識(shí)視圖模型得到子模塊，用于根據(jù)所述語(yǔ)義框架確定子模塊，所述概念確定子模塊以及所述概念之間關(guān)系確定子模塊，得到擴(kuò)展后知識(shí)視圖模型，其中，擴(kuò)展后的知識(shí)視圖模型包括：業(yè)務(wù)目標(biāo)視圖模型、節(jié)點(diǎn)視圖模型、資源視圖模型、信息視圖模型、活動(dòng)視圖模型以及能力視圖模型；

所述業(yè)務(wù)目標(biāo)視圖模型，用于分析實(shí)現(xiàn)能力業(yè)務(wù)知識(shí)表示系統(tǒng)的目標(biāo)以及為達(dá)到所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)的目標(biāo)具備能力和執(zhí)行活動(dòng)；

所述節(jié)點(diǎn)視圖模型，用于提供所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)的部署情況、位置情況，以及在所屬能力業(yè)務(wù)知識(shí)表示系統(tǒng)中節(jié)點(diǎn)完成的動(dòng)作行為，其中，所述復(fù)能力業(yè)務(wù)知識(shí)表示系統(tǒng)中節(jié)點(diǎn)是完成使命任務(wù)的基本單元；

所述資源視圖模型，用于為所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)提供的物理平臺(tái)、組織機(jī)構(gòu)、其它信息支持的資源要素；

所述信息視圖模型，用于為所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)提供信息的輸入端口、信息的輸出端口、信息的傳輸，細(xì)化交換信息以及明確所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)中交換信息的屬性；

所述活動(dòng)視圖模型，用于分析活動(dòng)的輸入和輸出、活動(dòng)之間的分解關(guān)系，所述節(jié)點(diǎn)行開(kāi)展的活動(dòng)，具體包括分析活動(dòng)的輸入和輸出之間的信息流關(guān)系，以及執(zhí)行節(jié)點(diǎn)行為；

所述能力視圖模型，用于根據(jù)所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)中的能力的測(cè)度、特性、演化，評(píng)估能力以及組合能力，用戶評(píng)估所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)。

可選的，還包括：擴(kuò)展后知識(shí)視圖模型轉(zhuǎn)換模塊，用于在判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系之前，采用模糊描述邏輯f-SHIN算法，將所述擴(kuò)展后的知識(shí)視圖模型，轉(zhuǎn)換成以Tbox公理集中的元素形式表示。

可選的，所述判斷模塊，具體包括：

判斷子模塊，用于采用≥和≤擴(kuò)展規(guī)則，判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系。

根據(jù)本發(fā)明提供的具體實(shí)施例，本發(fā)明公開(kāi)了以下技術(shù)效果：

本發(fā)明提供一種基于信息系統(tǒng)的知識(shí)驗(yàn)證方法及系統(tǒng)，通過(guò)構(gòu)建知識(shí)視圖元模型，以及確定所述知識(shí)視圖元模型的語(yǔ)義框架和概念，確定所述知識(shí)視圖元模型概念之間的關(guān)系，得到擴(kuò)展后的知識(shí)視圖模型，然后根據(jù)所述擴(kuò)展后的知識(shí)視圖模型，建立知識(shí)表示系統(tǒng)；并判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系，從而檢驗(yàn)知識(shí)表示系統(tǒng)的完整性和正確性，實(shí)現(xiàn)了用一種信息系統(tǒng)能夠?qū)F(xiàn)有知識(shí)規(guī)范的、完整的、有邏輯的表示出來(lái)并檢驗(yàn)所述知識(shí)表示系統(tǒng)的完整性和正確性，提高知識(shí)復(fù)用率。

附圖說(shuō)明

為了更清楚地說(shuō)明本發(fā)明實(shí)施例或現(xiàn)有技術(shù)中的技術(shù)方案，下面將對(duì)實(shí)施例中所需要使用的附圖作簡(jiǎn)單地介紹，顯而易見(jiàn)地，下面描述中的附圖僅僅是本發(fā)明的一些實(shí)施例，對(duì)于本領(lǐng)域普通技術(shù)人員來(lái)講，在不付出創(chuàng)造性勞動(dòng)性的前提下，還可以根據(jù)這些附圖獲得其他的附圖。

圖1為本發(fā)明實(shí)施例中的基于信息系統(tǒng)的知識(shí)驗(yàn)證方法流程圖；

圖2為本發(fā)明實(shí)施例中的基于信息系統(tǒng)的知識(shí)驗(yàn)證系統(tǒng)結(jié)構(gòu)圖。

具體實(shí)施方式

下面將結(jié)合本發(fā)明實(shí)施例中的附圖，對(duì)本發(fā)明實(shí)施例中的技術(shù)方案進(jìn)行清楚、完整地描述，顯然，所描述的實(shí)施例僅僅是本發(fā)明一部分實(shí)施例，而不是全部的實(shí)施例?；诒景l(fā)明中的實(shí)施例，本領(lǐng)域普通技術(shù)人員在沒(méi)有做出創(chuàng)造性勞動(dòng)前提下所獲得的所有其他實(shí)施例，都屬于本發(fā)明保護(hù)的范圍。

本發(fā)明的目的是提供一種基于信息系統(tǒng)的知識(shí)驗(yàn)證方法及系統(tǒng)，能夠建立知識(shí)表示系統(tǒng)；并能夠檢驗(yàn)知識(shí)表示系統(tǒng)的完整性和正確性，從而實(shí)現(xiàn)了用一種信息系統(tǒng)能夠?qū)F(xiàn)有知識(shí)規(guī)范的、完整的、有邏輯的表示出來(lái)并檢驗(yàn)所述知識(shí)表示系統(tǒng)的完整性和正確性，提高知識(shí)復(fù)用率

為使本發(fā)明的上述目的、特征和優(yōu)點(diǎn)能夠更加明顯易懂，下面結(jié)合附圖和具體實(shí)施方式對(duì)本發(fā)明作進(jìn)一步詳細(xì)的說(shuō)明。

實(shí)施例一

如圖1所示，圖1為基于信息系統(tǒng)的知識(shí)驗(yàn)證方法流程圖，具體包括：

步驟101：構(gòu)建知識(shí)視圖元模型；

步驟102：根據(jù)所述知識(shí)視圖元模型，確定所述知識(shí)視圖元模型的語(yǔ)義框架，確定所述知識(shí)視圖元模型的概念以及確定所述概念之間的關(guān)系，得到擴(kuò)展后的知識(shí)視圖模型；

步驟103：根據(jù)所述擴(kuò)展后的知識(shí)視圖模型，建立基于信息系統(tǒng)的知識(shí)表示系統(tǒng)；

步驟104：判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系，所述關(guān)系節(jié)點(diǎn)x表示所述知識(shí)視圖元模型概念之間的關(guān)系；

步驟105：若是，則確定所述知識(shí)表示系統(tǒng)具有完整性和正確性；

步驟106：若否，則終止所述關(guān)系節(jié)點(diǎn)x所對(duì)應(yīng)的知識(shí)視圖元模型的判斷。

其中步驟101具體包括：參考國(guó)外工程領(lǐng)域提倡的系統(tǒng)多視圖建模思想，構(gòu)建知識(shí)視圖元模型；

步驟102具體包括：根據(jù)知識(shí)內(nèi)容劃分六個(gè)視圖，其中，所述六個(gè)視圖包括業(yè)務(wù)目標(biāo)視圖、節(jié)點(diǎn)視圖、資源視圖、信息視圖、活動(dòng)視圖以及能力視圖。

所述業(yè)務(wù)目標(biāo)視圖，主要圍繞復(fù)雜信息系統(tǒng)的業(yè)務(wù)目標(biāo)分析信息系統(tǒng)的目標(biāo)是什么，希望達(dá)到的效果是什么，信息系統(tǒng)必須具備什么樣的能力，必須執(zhí)行的何種活動(dòng)等問(wèn)題。

所述節(jié)點(diǎn)視圖，包括節(jié)點(diǎn)，所述節(jié)點(diǎn)作為完成使命任務(wù)的基本單元，能夠?yàn)橄嚓P(guān)目標(biāo)的實(shí)現(xiàn)提供一組潛在的必要能力，是描述信息系統(tǒng)領(lǐng)域知識(shí)的核心要素之一。通過(guò)節(jié)點(diǎn)視圖回答信息系統(tǒng)的部署情況、位置情況，以及在所屬節(jié)點(diǎn)完成的動(dòng)作行為。

所述資源視圖，說(shuō)明了復(fù)雜系統(tǒng)在運(yùn)行過(guò)程中需要的各種資源，包括物理平臺(tái)、組織機(jī)構(gòu)、其它信息系統(tǒng)信息支持等資源要素。

所述信息視圖，表示節(jié)點(diǎn)在執(zhí)行活動(dòng)的過(guò)程中，必須與外界數(shù)據(jù)信息進(jìn)行交換。在節(jié)點(diǎn)視圖模型中，從節(jié)點(diǎn)出發(fā)明確了節(jié)點(diǎn)之間的交互關(guān)系，而建立信息視圖是對(duì)交換的信息進(jìn)行細(xì)化，明確信息的屬性，信息交換的要求以及交換信息所支持的活動(dòng)等。信息視圖說(shuō)明了復(fù)雜系統(tǒng)在運(yùn)行過(guò)程中需要的各種信息支持，包括信息的輸入端口是哪里、信息的輸出端口是哪里、信息的傳輸需要哪些實(shí)體配合等問(wèn)題。

所述活動(dòng)視圖，表示理解活動(dòng)概念在知識(shí)分析中十分重要，因?yàn)橄到y(tǒng)的能力通常來(lái)源于具體的活動(dòng)形式?；顒?dòng)是產(chǎn)生能力的直接來(lái)源。即在完成任務(wù)過(guò)程中需要開(kāi)展什么樣的活動(dòng)，就意味著需要什么樣的需求，活動(dòng)以何種方式展開(kāi)、能否順利完成也取決于能力的功能屬性和測(cè)度屬性。所以，能力通常是在活動(dòng)分析過(guò)程中確定下來(lái)?；顒?dòng)視圖圍繞活動(dòng)概念對(duì)系統(tǒng)在業(yè)務(wù)過(guò)程中所涉及到的各種活動(dòng)進(jìn)行建模，分析活動(dòng)的輸入和輸出、活動(dòng)之間的分解關(guān)系，節(jié)點(diǎn)行為所開(kāi)展的活動(dòng)等關(guān)系，與這些關(guān)系相關(guān)聯(lián)的還要分析活動(dòng)的輸入和輸出之間的信息流關(guān)系，以及節(jié)點(diǎn)行為由哪個(gè)節(jié)點(diǎn)執(zhí)行等等。

所述能力視圖，表示能力是信息系統(tǒng)的重點(diǎn)要素，是用戶最關(guān)心的系統(tǒng)結(jié)果。能力由能力配置提供。系統(tǒng)的各種服務(wù)構(gòu)成了系統(tǒng)的能力。能力具有預(yù)期的執(zhí)行效果，這些效果最終特化為效能。用戶通過(guò)能力的測(cè)度、特性、演化對(duì)能力的好壞強(qiáng)弱進(jìn)行評(píng)估。同時(shí)能力具有組合特性，簡(jiǎn)單的能力通過(guò)組合、疊加形成復(fù)雜能力。

根據(jù)構(gòu)建知識(shí)視圖元模型，建立上述六個(gè)視圖的元模型，并根據(jù)各視圖模型中定義的概念，如：位置、能力、目標(biāo)等，結(jié)合UML軟件，擴(kuò)展每個(gè)元模型中的元類，確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖元模型的語(yǔ)義框架，確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖元模型的概念；

并根據(jù)每個(gè)視圖元模型中定義的元關(guān)系，如：具有、實(shí)現(xiàn)、需要等，結(jié)合UML軟件，擴(kuò)展每個(gè)元模型中的元關(guān)系，確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖元模型概念之間的關(guān)系，得到擴(kuò)展后的知識(shí)視圖模型。

其中，擴(kuò)展后的知識(shí)視圖模型包括：業(yè)務(wù)目標(biāo)視圖模型、節(jié)點(diǎn)視圖模型、資源視圖模型、信息視圖模型、活動(dòng)視圖模型以及能力視圖模型。

另外，若所述知識(shí)視圖元模型的概念之間存在數(shù)量約束，則根據(jù)數(shù)量約束表示為描述邏輯公理根據(jù)，進(jìn)一步限定擴(kuò)展后的知識(shí)視圖模型。

也可以根據(jù)用戶的需要可以針對(duì)不同構(gòu)造型定義其圖標(biāo)，進(jìn)一步限定擴(kuò)展后的知識(shí)視圖模型。

步驟103具體包括，將擴(kuò)展后的知識(shí)視圖模型，結(jié)合OMG軟件提出的UML對(duì)象建模語(yǔ)言，建立知識(shí)表示系統(tǒng)。

步驟104具體包括：在判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系之前，還包括：

1)采用模糊描述邏輯f-SHIN算法，將所述擴(kuò)展后的知識(shí)視圖模型，轉(zhuǎn)換成以Tbox公理集中的元素形式表示。

所述將所述擴(kuò)展后的知識(shí)視圖模型，轉(zhuǎn)換成以Tbox公理集中的元素具體包括：考慮到UML建模元素與模糊描述邏輯本體f-SHIN描述語(yǔ)言元素之間良好的對(duì)應(yīng)關(guān)系，以及描述邏輯語(yǔ)言自身推理可判定性和推理時(shí)效性，這里采用描述邏輯的一個(gè)模糊擴(kuò)展子集——f-SHIN，形式化表示所述知識(shí)表示系統(tǒng)擴(kuò)展后的知識(shí)視圖模型，并采用f-SHIN自身的Tableau算法，檢查知識(shí)中潛在的邏輯錯(cuò)誤問(wèn)題。這里的核心工作就是將擴(kuò)展后的知識(shí)模型到f-SHIN本體的轉(zhuǎn)換算法。該算法描述如下：

輸入：復(fù)雜信息系統(tǒng)所屬領(lǐng)域知識(shí)模型

輸出：領(lǐng)域知識(shí)f-SHIN本體

轉(zhuǎn)換過(guò)程具體包括：

步驟1將擴(kuò)展后的知識(shí)視圖模型轉(zhuǎn)換為f-SHIN的Tbox公理集

步驟1.1對(duì)于任意領(lǐng)域概念C

步驟1.1.1Tbox中創(chuàng)建相應(yīng)的概念C；

步驟1.1.2如果概念C是明確概念，那么設(shè)置概念C與其實(shí)例之間的隸屬度μ值為1；

步驟1.1.3若概念C是模糊概念，則概念C或是第一類模糊性，表示為概念與實(shí)例間的隸屬μ值；或是第二類模糊性，即概念C包含模糊屬性FuzzyProperty，首先創(chuàng)建模糊屬性的值域概念FC，然后創(chuàng)建公理CFC；或是第三類模糊性，執(zhí)行步驟1.2的操作。

步驟1.2對(duì)于兩個(gè)存在繼承關(guān)系的概念A(yù)和概念B，其中A是父概念，B是子概念)，在Tbox公理集對(duì)應(yīng)概念A(yù)、B之間創(chuàng)建以下公理：A B；

步驟1.3對(duì)于任意領(lǐng)域關(guān)系R(R的定義域概念是A，值域概念B),在Tbox對(duì)應(yīng)概念A(yù)、B之間創(chuàng)建以下公理：A

步驟1.4對(duì)于任意聚合關(guān)系R(R的整體概念是A，成員概念B),在Tbox對(duì)應(yīng)概念A(yù)、B之間創(chuàng)建以下公理：AB

步驟1.5如果關(guān)系R具有傳遞性，例如關(guān)系的層層聚合，那么在Tbox中要做出傳遞聲明，即Trans(R)。

根據(jù)上述步驟，獲取將擴(kuò)展后的知識(shí)視圖模型轉(zhuǎn)換為f-SHIN的Tbox公理集元素，其中原模糊描述邏輯f-SHIN的Tableau算法為：

KB規(guī)則：

條件：

操作：L(x)＝L(x){CT}其中

規(guī)則：

條件：C1C2∈L(x)，x沒(méi)有被間接阻塞，{C1,C2}L(x)

操作：L(x)＝L(x){C1,C2}

規(guī)則：

條件：C1C2∈L(x)，x沒(méi)有被間接阻塞，{C1,C2}

操作：L(x)＝L(x){C}，其中C∈{C1,C2}

規(guī)則：

條件：x沒(méi)有被阻塞，不存在x的安全S鄰居y滿足C∈L(y)

操作：新建節(jié)點(diǎn)y，滿足L(x,y)＝{S}，L(y)＝{C}

規(guī)則：

條件：x沒(méi)有被間接阻塞，存在x的S鄰居y滿足

操作：L(y)＝L(y){C}

規(guī)則：

條件：x沒(méi)有被間接阻塞，存在R滿足Trans(R)，R*S，存在x的R鄰居y滿足

操作：L(y)＝L(y)

≥規(guī)則：

條件：≥nS∈L(x)，x沒(méi)有被阻塞，不存在x的n個(gè)安全S鄰居y1,...,yn滿足1≤i<j≤n

操作：新建節(jié)點(diǎn)y1,...,yn，滿足L(x,yi)＝{S}，且1≤i<j≤n

≤規(guī)則：

條件：≤nS∈L(x)，x沒(méi)有被間接阻塞，#SG(z)>n且存在z的兩個(gè)S鄰居x,y沒(méi)有聲明

操作：如果x是有名節(jié)點(diǎn)，則Merge(y,x)；

否則，如果y是有名節(jié)點(diǎn)或是x的祖先，則Merge(x,y)；

否則，Merge(y,x)

o規(guī)則：

條件：對(duì)o∈NI，存在節(jié)點(diǎn)x,y滿足o∈L(x)L(y)，但沒(méi)有聲明

操作：Merge(x,y)

NN規(guī)則：

條件：≤nS∈L(x)，x是有名節(jié)點(diǎn)，存在x的可阻塞S鄰居y，x是y的后繼；不存在m，1≤m≤n且≤mS∈L(x)，不存在x的m個(gè)有名的S鄰居z1,...,zm滿足1≤i<j≤m

操作：猜測(cè)m，1≤m≤n，L(x)＝L(x){≤mS}；

新建節(jié)點(diǎn)y1,...,ym，滿足L(x,yi)＝{S}，對(duì)G中任意一個(gè)未使用的oi∈NI，L(yi)＝{oi}，且1≤i<j≤m

2)本申請(qǐng)根據(jù)模糊描述邏輯f-SHIN的Tableau算法提出了改進(jìn)手段，目的在于提高對(duì)領(lǐng)域知識(shí)檢驗(yàn)的實(shí)效性和準(zhǔn)確性，具體做法如下在原有Tableau算法中，加入對(duì)關(guān)系類型的判斷，如果關(guān)系是節(jié)點(diǎn)x應(yīng)該具備的合法關(guān)系，那么就繼續(xù)執(zhí)行原有的擴(kuò)展規(guī)則，否則提前終止對(duì)該節(jié)點(diǎn)的擴(kuò)展。具體做法是在原有的沖突判斷條件中加入對(duì)關(guān)系類型的判斷條件(4)：

對(duì)有向圖G中關(guān)系S和節(jié)點(diǎn)x，定義x的S鄰居集合，記為SG(x)＝{y|y是x的S鄰居}。如果G滿足下列條件之一，則說(shuō)G包含沖突：

(1)對(duì)G中原子概念A(yù)∈NC和節(jié)點(diǎn)x，有L(x)；

(2)對(duì)G中關(guān)系S和節(jié)點(diǎn)x，≤nS∈L(x)，且存在x的n+1個(gè)S鄰居y0,...,yn，滿足0≤i<j≤n；

(3)對(duì)o∈NI，存在節(jié)點(diǎn)有o∈L(x)L(y)；

(4)對(duì)節(jié)點(diǎn)x采用≥和≤擴(kuò)展規(guī)則時(shí)，如果關(guān)系S不是x應(yīng)當(dāng)具備的元關(guān)系類型，那么發(fā)現(xiàn)沖突。

改進(jìn)后的Tableau算法由于增加了新的沖突判斷條件，因此較原有算法會(huì)提前終止，算法執(zhí)行效率更高，但是由于沒(méi)有改變算法的推理機(jī)理，因此不會(huì)影響原有算法的正確性。

本實(shí)施例通過(guò)參考國(guó)外工程領(lǐng)域提倡的系統(tǒng)多視圖建模思想，構(gòu)建知識(shí)視圖元模型，并根據(jù)知識(shí)內(nèi)容劃分六個(gè)視圖，從而將知識(shí)內(nèi)容與多視圖建模思想結(jié)合，確定知識(shí)表示系統(tǒng)；又通過(guò)改進(jìn)Tableau算法，提高了判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系效率，從而加快了檢驗(yàn)所述知識(shí)表示系統(tǒng)是否具有完整性和正確性，實(shí)現(xiàn)了用一種信息系統(tǒng)能夠?qū)F(xiàn)有知識(shí)規(guī)范的、完整的、有邏輯的表示出來(lái)并檢驗(yàn)所述知識(shí)表示系統(tǒng)的完整性和正確性，提高知識(shí)復(fù)用率。

實(shí)施例二

如圖2所示，圖2為基于信息系統(tǒng)的知識(shí)驗(yàn)證系統(tǒng)結(jié)構(gòu)圖，具體包括：知識(shí)視圖元模型構(gòu)建模塊201、擴(kuò)展后知識(shí)視圖模型得到模塊202、知識(shí)表示系統(tǒng)建立模塊203、判斷模塊204、確定模塊205以及終止模塊206。

所述知識(shí)視圖元模型構(gòu)建模塊201，用于構(gòu)建知識(shí)視圖元模型，具體包括：知識(shí)視圖元模型構(gòu)建子模塊，用于構(gòu)建業(yè)務(wù)目標(biāo)視圖元模型、構(gòu)建節(jié)點(diǎn)視圖元模型、構(gòu)建資源視圖元模型、構(gòu)建信息視圖元模型、構(gòu)建活動(dòng)視圖元模型以及構(gòu)建能力視圖元模型。

所述擴(kuò)展后知識(shí)視圖模型得到模塊202，用于根據(jù)所述知識(shí)視圖元模型，確定所述知識(shí)視圖元模型的語(yǔ)義框架，確定所述知識(shí)視圖元模型的概念以及確定所述概念之間的關(guān)系，得到擴(kuò)展后的知識(shí)視圖模型，具體包括：語(yǔ)義框架確定子模塊，用于確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖的語(yǔ)義框架元模型；

概念確定子模塊，用于確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖元模型、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖的概念元模型；

概念之間關(guān)系確定子模塊，用于確定所述業(yè)務(wù)目標(biāo)視圖元模型、節(jié)點(diǎn)視圖、資源視圖元模型、信息視圖元模型、活動(dòng)視圖元模型以及能力視圖元模型概念之間的關(guān)系；

擴(kuò)展后知識(shí)視圖模型得到子模塊，用于根據(jù)所述語(yǔ)義框架確定子模塊，所述概念確定子模塊以及所述概念之間關(guān)系確定子模塊，得到擴(kuò)展后知識(shí)視圖模型，其中，擴(kuò)展后的知識(shí)視圖模型包括：業(yè)務(wù)目標(biāo)視圖模型、節(jié)點(diǎn)視圖模型、資源視圖模型、信息視圖模型、活動(dòng)視圖模型以及能力視圖模型；

所述業(yè)務(wù)目標(biāo)視圖模型，用于分析實(shí)現(xiàn)能力業(yè)務(wù)知識(shí)表示系統(tǒng)的目標(biāo)以及為達(dá)到所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)的目標(biāo)具備能力和執(zhí)行活動(dòng)；

所述節(jié)點(diǎn)視圖模型，用于提供所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)的部署情況、位置情況，以及在所屬能力業(yè)務(wù)知識(shí)表示系統(tǒng)中節(jié)點(diǎn)完成的動(dòng)作行為，其中，所述復(fù)能力業(yè)務(wù)知識(shí)表示系統(tǒng)中節(jié)點(diǎn)是完成使命任務(wù)的基本單元；

所述資源視圖模型，用于為所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)提供的物理平臺(tái)、組織機(jī)構(gòu)、其它信息支持的資源要素；

所述信息視圖模型，用于為所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)提供信息的輸入端口、信息的輸出端口、信息的傳輸，細(xì)化交換信息以及明確所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)中交換信息的屬性；

所述活動(dòng)視圖模型，用于分析活動(dòng)的輸入和輸出、活動(dòng)之間的分解關(guān)系，所述節(jié)點(diǎn)行開(kāi)展的活動(dòng)，具體包括分析活動(dòng)的輸入和輸出之間的信息流關(guān)系，以及執(zhí)行節(jié)點(diǎn)行為；

所述能力視圖模型，用于根據(jù)所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)中的能力的測(cè)度、特性、演化，評(píng)估能力以及組合能力，用戶評(píng)估所述能力業(yè)務(wù)知識(shí)表示系統(tǒng)。

所述知識(shí)表示系統(tǒng)建立模塊203，用于根據(jù)所述擴(kuò)展后的知識(shí)視圖模型，建立基于信息系統(tǒng)的知識(shí)表示系統(tǒng)。

所述判斷模塊204，用于判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系，得到第一判斷結(jié)果；所述關(guān)系節(jié)點(diǎn)x表示所述知識(shí)視圖元模型概念之間的關(guān)系；具體包括：

所述擴(kuò)展后知識(shí)視圖模型轉(zhuǎn)換模塊，用于在判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系之前，采用模糊描述邏輯f-SHIN算法，將所述擴(kuò)展后的知識(shí)視圖模型，轉(zhuǎn)換成以Tbox公理集中的元素形式表示；

判斷子模塊，用于采用≥和≤擴(kuò)展規(guī)則，判斷所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系。

確定模塊205，用于當(dāng)所述第一判斷結(jié)果表示所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x具備合法關(guān)系，確定所述知識(shí)表示系統(tǒng)具有完整性和正確性；

終止模塊206，用于當(dāng)所述第一判斷結(jié)果表示所述知識(shí)表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x不具備合法關(guān)系，終止所述關(guān)系節(jié)點(diǎn)x所對(duì)應(yīng)的知識(shí)視圖元模型的判斷。

本實(shí)施通過(guò)建立知識(shí)視圖元模型構(gòu)建模塊、擴(kuò)展后知識(shí)視圖模型得到模塊、知識(shí)表示系統(tǒng)建立模塊、判斷模塊、第一結(jié)果輸出模塊以及第二結(jié)果輸出模塊，實(shí)現(xiàn)了用一種信息系統(tǒng)能夠?qū)F(xiàn)有知識(shí)規(guī)范的、完整的、有邏輯的表示出來(lái)并檢驗(yàn)所述知識(shí)表示系統(tǒng)的完整性和正確性，提高知識(shí)復(fù)用率。

本說(shuō)明書(shū)中各個(gè)實(shí)施例采用遞進(jìn)的方式描述，每個(gè)實(shí)施例重點(diǎn)說(shuō)明的都是與其他實(shí)施例的不同之處，各個(gè)實(shí)施例之間相同相似部分互相參見(jiàn)即可。對(duì)于實(shí)施例公開(kāi)的系統(tǒng)而言，由于其與實(shí)施例公開(kāi)的方法相對(duì)應(yīng)，所以描述的比較簡(jiǎn)單，相關(guān)之處參見(jiàn)方法部分說(shuō)明即可。

本文中應(yīng)用了具體個(gè)例對(duì)本發(fā)明的原理及實(shí)施方式進(jìn)行了闡述，以上實(shí)施例的說(shuō)明只是用于幫助理解本發(fā)明的方法及其核心思想；同時(shí)，對(duì)于本領(lǐng)域的一般技術(shù)人員，依據(jù)本發(fā)明的思想，在具體實(shí)施方式及應(yīng)用范圍上均會(huì)有改變之處。綜上所述，本說(shuō)明書(shū)內(nèi)容不應(yīng)理解為對(duì)本發(fā)明的限制。