技術(shù)特征：

1.一種基于信息系統(tǒng)的知識驗(yàn)證方法，其特征在于，所述知識驗(yàn)證方法，包括：

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

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

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

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

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

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

2.根據(jù)權(quán)利要求1所述一種基于信息系統(tǒng)的知識驗(yàn)證方法，其特征在于，所述構(gòu)建知識視圖元模型，具體包括：構(gòu)建業(yè)務(wù)目標(biāo)視圖元模型、構(gòu)建節(jié)點(diǎn)視圖元模型、構(gòu)建資源視圖元模型、構(gòu)建信息視圖元模型、構(gòu)建活動(dòng)視圖元模型以及構(gòu)建能力視圖元模型。

3.根據(jù)權(quán)利要求2所述一種基于信息系統(tǒng)的知識驗(yàn)證方法，其特征在于，所述得到擴(kuò)展后的知識視圖模型，包括：

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

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

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

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

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

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

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

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

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

4.根據(jù)權(quán)利要求1所述一種基于信息系統(tǒng)的知識驗(yàn)證方法，其特征在于，在判斷所述知識表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系之前，還包括：

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

5.根據(jù)權(quán)利要求1所述一種基于信息系統(tǒng)的知識驗(yàn)證方法，其特征在于，判斷所述知識表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系，具體包括：采用≥和≤擴(kuò)展規(guī)則，判斷所述知識表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系。

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

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

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

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

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

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

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

7.根據(jù)權(quán)利要求6所述一種基于信息系統(tǒng)的知識驗(yàn)證系統(tǒng)，其特征在于，所述知識視圖元模型構(gòu)建模塊，包括：

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

8.根據(jù)權(quán)利要求7所述一種基于信息系統(tǒng)的知識驗(yàn)證系統(tǒng)，其特征在于，所述擴(kuò)展后知識視圖模型得到模塊，包括：

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

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

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

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

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

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

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

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

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

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

9.根據(jù)權(quán)利要求6所述一種基于信息系統(tǒng)的知識驗(yàn)證系統(tǒng)，其特征在于，還包括：擴(kuò)展后知識視圖模型轉(zhuǎn)換模塊，用于在判斷所述知識表示系統(tǒng)中的全部關(guān)系節(jié)點(diǎn)x是否具備合法關(guān)系之前，采用模糊描述邏輯f-SHIN算法，將所述擴(kuò)展后的知識視圖模型，轉(zhuǎn)換成以Tbox公理集中的元素形式表示。

10.根據(jù)權(quán)利要求6所述一種基于信息系統(tǒng)的知識驗(yàn)證系統(tǒng)，其特征在于，所述判斷模塊，具體包括：

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