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

背景技術(shù)：

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

可選的，所述擴展后知識視圖模型得到模塊，包括：

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

附圖說明

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

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

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

具體實施方式

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

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

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

實施例一

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

KB規(guī)則：

條件：

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

規(guī)則：

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

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

規(guī)則：

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

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

規(guī)則：

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

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

規(guī)則：

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

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

規(guī)則：

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

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

≥規(guī)則：

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

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

≤規(guī)則：

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

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

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

否則，Merge(y,x)

o規(guī)則：

條件：對o∈NI，存在節(jié)點x,y滿足o∈L(x)L(y)，但沒有聲明

操作：Merge(x,y)

NN規(guī)則：

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

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

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

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

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

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

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

(3)對o∈NI，存在節(jié)點有o∈L(x)L(y)；

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

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

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

實施例二

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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