基于產(chǎn)品知識(shí)模塊本體的產(chǎn)品知識(shí)集成研究

基于產(chǎn)品知識(shí)模塊本體的產(chǎn)品知識(shí)集成研究

產(chǎn)品知識(shí)模塊產(chǎn)品知識(shí)是產(chǎn)品創(chuàng)新和開發(fā)的基礎(chǔ)。但是,相關(guān)產(chǎn)品知識(shí)呈現(xiàn)多、亂、散的特點(diǎn),且分布于不同的知識(shí)庫(kù)(如專利庫(kù)、文獻(xiàn)庫(kù)、模型庫(kù)等)中,本體技術(shù)能對(duì)多、亂、散的各種知識(shí)進(jìn)行組織。但是,隨著知識(shí)數(shù)量的增多,本體的構(gòu)建就變得更復(fù)雜,知識(shí)集成難度加大,對(duì)知識(shí)進(jìn)行增、刪、改等維護(hù)變得越來(lái)越困難,知識(shí)的可重用性大打折扣。因此,模塊本體應(yīng)運(yùn)而生,其作用是識(shí)別和利用本體內(nèi)在的關(guān)聯(lián)性,通過模塊化處理,集成相關(guān)本體,簡(jiǎn)化本體應(yīng)用,從而實(shí)現(xiàn)對(duì)多、亂、散的知識(shí)的組織管理和集成,提高知識(shí)的模塊性、可維護(hù)性和重用性。在產(chǎn)品知識(shí)領(lǐng)域,現(xiàn)有研究主要涉及到產(chǎn)品模型的本體表達(dá)、制造工藝和設(shè)備的本體描述,研究過程中沒有考慮專利、文獻(xiàn)、手冊(cè)、規(guī)范、準(zhǔn)則、模型、材料和經(jīng)驗(yàn)等知識(shí),也沒有產(chǎn)品知識(shí)方面的模塊本體相關(guān)研究文獻(xiàn)資料。本文選擇模塊本體作為產(chǎn)品知識(shí)集成的依據(jù),先通過構(gòu)建產(chǎn)品知識(shí)模塊本體,然后采用關(guān)系橋規(guī)則把各產(chǎn)品知識(shí)模塊本體集成起來(lái),并通過動(dòng)態(tài)描述邏輯對(duì)集成過程的可滿足性和一致性進(jìn)行檢查,最后通過實(shí)例說(shuō)明集成的實(shí)現(xiàn)過程。1集成技術(shù)基礎(chǔ)1.1產(chǎn)品知識(shí)模塊本體的構(gòu)建產(chǎn)品知識(shí)模塊本體的集成不但要完成產(chǎn)品知識(shí)(如專利、文獻(xiàn)、模型等)結(jié)構(gòu)層次和語(yǔ)義層次的集成,還必須完成特性層次上的產(chǎn)品知識(shí)集成。特性層次的知識(shí)包括設(shè)計(jì)知識(shí)、制造知識(shí)和服務(wù)知識(shí)等,且分布于不同產(chǎn)品知識(shí)庫(kù)中。產(chǎn)品知識(shí)模塊本體的集成由兩個(gè)階段構(gòu)成:第一階段是采用模塊化方法對(duì)產(chǎn)品知識(shí)進(jìn)行模塊劃分,根據(jù)劃分的產(chǎn)品知識(shí)模塊構(gòu)建對(duì)應(yīng)的產(chǎn)品知識(shí)模塊本體。第二階段是采用關(guān)系橋規(guī)則(bridgerules,簡(jiǎn)稱BR)進(jìn)行產(chǎn)品知識(shí)模塊本體集成(或叫聯(lián)接),完成產(chǎn)品知識(shí)的集成任務(wù)。(1)產(chǎn)品知識(shí)模塊本體的構(gòu)建定義1(產(chǎn)品知識(shí)模塊本體):產(chǎn)品知識(shí)模塊本體是對(duì)產(chǎn)品知識(shí)進(jìn)行模塊劃分,然后對(duì)劃分的產(chǎn)品知識(shí)模塊進(jìn)行正規(guī)化處理,最后采用本體方法對(duì)正規(guī)化處理后的產(chǎn)品知識(shí)模塊中各概念及關(guān)系進(jìn)行語(yǔ)義建模所得到的產(chǎn)品知識(shí)結(jié)構(gòu)化的語(yǔ)義概念模型。一個(gè)產(chǎn)品知識(shí)模塊本體O可用四元組的形式來(lái)表示:O={C,P,A,I}。其中C表示產(chǎn)品知識(shí)模塊本體所包含的概念集合,用于描述產(chǎn)品知識(shí)中產(chǎn)品、部件、零件及其特性的功能;P表示概念屬性集合,用于描述產(chǎn)品、部件、零件、特性等各概念之間的關(guān)系;A表示公理集合,用于描述概念、對(duì)象屬性、數(shù)據(jù)類型屬性及實(shí)例之間的各種約束規(guī)則;I表示概念的實(shí)例集合。產(chǎn)品知識(shí)模塊本體的構(gòu)建包括產(chǎn)品知識(shí)的模塊劃分、正規(guī)化處理、語(yǔ)言選擇、本體構(gòu)建和本體進(jìn)化等步驟。由于篇幅原因,本文不再展開討論。(2)產(chǎn)品知識(shí)模塊本體的集成產(chǎn)品知識(shí)模塊本體的集成原理如圖1所示(圖中BR1～BR4為關(guān)系橋規(guī)則)。產(chǎn)品知識(shí)模塊本體的集成是由關(guān)系橋規(guī)則對(duì)本體的概念、屬性和關(guān)系橋公理來(lái)描述:①產(chǎn)品知識(shí)模塊本體與其子知識(shí)模塊本體的關(guān)系(圖1中儲(chǔ)水式電熱水器知識(shí)模塊本體1與內(nèi)膽知識(shí)模塊本體1的關(guān)系)。②同內(nèi)涵的不同知識(shí)模塊本體之間的關(guān)系或其他不同知識(shí)模塊本體之間的關(guān)系(圖1中儲(chǔ)水式電熱水器知識(shí)模塊本體1與內(nèi)膽知識(shí)模塊本體2的關(guān)系)的規(guī)范。定義2(產(chǎn)品知識(shí)模塊本體關(guān)系橋規(guī)則):設(shè)Oi和Oj分別為兩個(gè)不同的產(chǎn)品知識(shí)模塊本體,它們的關(guān)系橋規(guī)則可用一個(gè)七元組來(lái)表示BR={IDi,IDj,{Ci},{Cj},{Pi},{Pj},Rij}其中IDi和IDj分別表示產(chǎn)品知識(shí)模塊本體i和j的統(tǒng)一資源標(biāo)志符(uniqueresourceidentifier,簡(jiǎn)稱URI);{Ci}和{Cj}分別表示產(chǎn)品知識(shí)模塊本體的概念集合;{Pi}和{Pj}分別表示產(chǎn)品知識(shí)模塊本體屬性集合;Rij表示概念的關(guān)系橋公理。概念關(guān)系橋公理包括“INTO”和“ONTO”,其形式如下:(1)INTO概念關(guān)系橋規(guī)則公理:i:Ci→?jCi→?j:Cj。(2)ONTO概念關(guān)系橋規(guī)則公理:i:Ci→?jCi→?j:Cj。概念關(guān)系橋公理是覆蓋產(chǎn)品知識(shí)模塊本體的一個(gè)最重要方面。但不能像概念包含一樣能讀入。因此,需要將其轉(zhuǎn)換成概念類的DL公理來(lái)進(jìn)行讀寫。轉(zhuǎn)換后的形式如下:(3)INTO概念關(guān)系橋公理轉(zhuǎn)換:i:Ci→?jCi→?j:Cj轉(zhuǎn)換為i:Ci?j:Cj。例如“i:內(nèi)膽→?j→?j:儲(chǔ)水式電熱水器”轉(zhuǎn)換為i:內(nèi)膽?j:儲(chǔ)水式電熱水器。(4)ONTO概念關(guān)系橋公理轉(zhuǎn)換:i:Ci→?jCi→?j:Cj為j:Cj?i:Ci。在圖1中設(shè)儲(chǔ)水式電熱水器為Oi的概念,內(nèi)膽為Oj的概念,則有i:儲(chǔ)水式電熱水器?j:內(nèi)膽。根據(jù)具體的關(guān)系橋規(guī)則,再構(gòu)建相應(yīng)的集成規(guī)則,即可完成對(duì)產(chǎn)品知識(shí)模塊本體的集成。1.2產(chǎn)品知識(shí)模塊本體的推理及流程產(chǎn)品知識(shí)模塊本體的集成推理是對(duì)產(chǎn)品知識(shí)模塊本體集成過程中的術(shù)語(yǔ)集合和個(gè)體斷言集合進(jìn)行推理,以檢查集成過程的可滿足性和一致性。產(chǎn)品知識(shí)模塊本體集成過程中的推理包括推理功能、推理任務(wù)過程等內(nèi)容。推理功能是用于判斷產(chǎn)品知識(shí)中概念和關(guān)系的可滿足性,并進(jìn)行實(shí)例檢測(cè)和實(shí)例檢索。推理任務(wù)是對(duì)產(chǎn)品知識(shí)中概念的一致性檢查、等同實(shí)體概念的判斷和概念間的包含關(guān)系判定。推理實(shí)現(xiàn)是對(duì)分布式、異構(gòu)的產(chǎn)品知識(shí)集成過程中的概念和關(guān)系的可滿足性、一致性檢及包含關(guān)系的“真”或“假”進(jìn)行判斷,提供統(tǒng)一的形式化邏輯框架,為產(chǎn)品知識(shí)集成提供合理的邏輯基礎(chǔ)。在產(chǎn)品知識(shí)模塊本體的集成過程中,集成推理需要對(duì)分布式、異構(gòu)和動(dòng)態(tài)的產(chǎn)品知識(shí)及其各種關(guān)系進(jìn)行推理,而在各種推理方法中,能很好支持分布式、異構(gòu)和動(dòng)態(tài)推理過程的D3L,因此,本文采用D3L來(lái)對(duì)產(chǎn)品知識(shí)模塊本體的集成過程進(jìn)行推理,并給出一個(gè)基于分布式描述邏輯的推理過程結(jié)構(gòu),如圖2所示。同時(shí),采用FaCT檢驗(yàn)產(chǎn)品知識(shí)模塊本體的一致性。FaCT是一個(gè)基于描述邏輯的分類器,它支持任意知識(shí)庫(kù),具有優(yōu)化的tableaux算法,并支持CORBA客戶-服務(wù)器體系結(jié)構(gòu)。在實(shí)際推理過程中,通過分布描述邏輯對(duì)產(chǎn)品知識(shí)模塊本體中的概念、屬性和實(shí)例等進(jìn)行裝載解析,生成產(chǎn)品知識(shí)模塊本體的臨時(shí)ABox和TBox,然后通過FaCT提供的CORBA接口提交給FaCT,并把要判定的類型詢問提交給FaCT,FaCT經(jīng)過推理,返回“真”或“假”的推理結(jié)果。2產(chǎn)品知識(shí)模塊產(chǎn)品知識(shí)模塊本體的集成是通過關(guān)系橋規(guī)則從結(jié)構(gòu)、語(yǔ)義和特性3個(gè)層次對(duì)分布式的各產(chǎn)品知識(shí)模塊本體進(jìn)行集成,有利于實(shí)現(xiàn)對(duì)產(chǎn)品知識(shí)的更好集成、維護(hù)、共享和重用。2.1關(guān)于結(jié)構(gòu)層次關(guān)系在產(chǎn)品知識(shí)模塊本體的集成過程中,結(jié)構(gòu)層次的關(guān)系橋規(guī)則實(shí)現(xiàn)產(chǎn)品知識(shí)模塊本體中父概念、子概念及其子概念個(gè)數(shù)等在結(jié)構(gòu)表示上的集成(或連接);語(yǔ)義層次的關(guān)系橋規(guī)則實(shí)現(xiàn)產(chǎn)品知識(shí)模塊本體中概念語(yǔ)義表達(dá)的一致;特性層次的關(guān)系橋規(guī)則實(shí)現(xiàn)產(chǎn)品知識(shí)模塊本體中零件的設(shè)計(jì)知識(shí)、制造知識(shí)和服務(wù)知識(shí)等的集成,提供語(yǔ)義一致和更完整的產(chǎn)品知識(shí)服務(wù)。設(shè)i為待集成的源產(chǎn)品知識(shí)模塊本體的編號(hào),j為待集成的目標(biāo)產(chǎn)品知識(shí)模塊本體的編號(hào),則從產(chǎn)品知識(shí)模塊本體i到產(chǎn)品知識(shí)模塊本體j的結(jié)構(gòu)層次關(guān)系橋規(guī)則為BRSTR(i,j),語(yǔ)義關(guān)系橋規(guī)則為BRSEM(i,j),特性關(guān)系橋規(guī)則為BRFEA(i,j),有如下定義:定義3BRSTR(i,j)={IDSTR(i),IDSTR(j),{AC}i,{AC}j,{AP}i,{AP}j,RSTR(i,j)},其中IDSTR表示產(chǎn)品知識(shí)模塊本體的URI;{AC}i和{AC}j分別表示產(chǎn)品知識(shí)模塊本體i和j結(jié)構(gòu)上的概念集合,與產(chǎn)品知識(shí)模塊本體中產(chǎn)品、部件、子部件和零件的基本概念相對(duì)應(yīng);{AP}i和{AP}j分別表示產(chǎn)品知識(shí)模塊本體i和j在結(jié)構(gòu)層次上的屬性集合;RSTR(i,j)為產(chǎn)品知識(shí)模塊本體i和j的結(jié)構(gòu)層次關(guān)系公理。定義4BRSEM(i,j)={SIDi,SIDj,{SC}i,{SC}j,{SP}i,{SP}j,BRSEM(i,j)}。SIDi和SIDj分別為產(chǎn)品知識(shí)模塊本體i和j的URI;{SC}i和{SC}j分別表示產(chǎn)品知識(shí)模塊本體i和j在語(yǔ)義層次上的概念集合;{SP}i和{SP}j分別表示產(chǎn)品知識(shí)模塊本體i和j在語(yǔ)義層次上的屬性集合;BRSEM(i,j)表示從產(chǎn)品知識(shí)模塊本體i到j(luò)的語(yǔ)義關(guān)系公理。定義5BRFEA(i,j)={FIDi,FIDj,{FC}i,{FC}j,{FP}i,{FP}j,RFEA(i,j)},其中FIDi和FIDj為產(chǎn)品知識(shí)模塊本體i和j的URI;{FC}i和{FC}j分別表示產(chǎn)品知識(shí)模塊本體i和j的設(shè)計(jì)、制造和服務(wù)知識(shí)概念集合;{FP}i和{FP}j分別表示產(chǎn)品知識(shí)模塊本體i和j的屬性集合;RFEA(i,j)為產(chǎn)品知識(shí)模塊本體i和j的特性關(guān)系公理。2.2語(yǔ)義層次的對(duì)應(yīng)關(guān)系根據(jù)產(chǎn)品知識(shí)模塊本體的結(jié)構(gòu)、語(yǔ)義和特性的實(shí)際,集成過程中如下規(guī)則:(1)結(jié)構(gòu)集成規(guī)則規(guī)則1:在結(jié)構(gòu)層次上,當(dāng)產(chǎn)品知識(shí)模塊本體i和j的名稱相同時(shí),如果各子概念名稱及個(gè)數(shù)都對(duì)應(yīng)相同,則i和j在結(jié)構(gòu)相同;如果各概念名稱不完全相同或個(gè)數(shù)不同,則需要對(duì)各概念進(jìn)行“ACi∨ACj”的合取運(yùn)算。如圖1中,內(nèi)膽知識(shí)模塊本體1中的概念“內(nèi)膽”與內(nèi)膽知識(shí)模塊本體2中的概念“內(nèi)膽”,前者有4個(gè)子概念,后都有3個(gè)子概念,集成時(shí)需要進(jìn)行合取運(yùn)算,并有ACi∨ACj={用戶需求,設(shè)計(jì)知識(shí),制造知識(shí),服務(wù)知識(shí)}。規(guī)則2:當(dāng)產(chǎn)品知識(shí)模塊本體i和j的名稱相同時(shí),在結(jié)構(gòu)上如果APi的父概念和子概念與APj父概念和子概念相同,則有equivalentProperty(i:APi,j:APj),即APi和APj相等;反之,則有disjointWith(i:APi,j:APj),即i:APi和j:APj不相關(guān)。(2)語(yǔ)義集成規(guī)則規(guī)則3:在語(yǔ)義層次上,如果產(chǎn)品知識(shí)模塊本體i和j中的概念SCi和SCj的內(nèi)涵滿足i:SCi?j:SCj和j:SCj?i:SCj,則這兩個(gè)概念的內(nèi)涵相等,即i:SCi≡j:SCj。圖1中,儲(chǔ)水式電熱水器知識(shí)模塊本體中的概念“加熱管”與容積式電熱水器知識(shí)模塊本體中的概念“加熱體”兩個(gè)概念的內(nèi)涵相等,即滿足i:加熱管≡j:加熱體。規(guī)則4:在語(yǔ)義層次上,如果產(chǎn)品知識(shí)模塊本體i和j中的概念SCi和SCj的內(nèi)涵滿足i:SCi?j:SCj或j:SCj?i:SCi,則這兩個(gè)概念的內(nèi)涵之間存在包含或包含于關(guān)系。圖1中,容積式電熱水器知識(shí)模塊本體中的概念“容積式電熱水器”的概念包含于儲(chǔ)水式電熱水器知識(shí)模塊本體中的概念“儲(chǔ)水式電熱水器”中。規(guī)則5:在語(yǔ)義層次上,如果產(chǎn)品知識(shí)模塊本體i和j中的概念SCi和SCj的內(nèi)涵滿足i:SCi∩j:SCj≠⊥且i:SCi∩j:SCj≠i:SCi且i:SCi∩j:SCj≠j:SCj,則這兩個(gè)概念的內(nèi)涵之間存在交集,即存在交叉關(guān)系。規(guī)則6:在語(yǔ)義層次上,如果產(chǎn)品知識(shí)模塊本體i和j中的概念SCi和SCj的內(nèi)涵滿足i:SCi?j:SCj和j:SCj?i:SCi都不成立,則這兩個(gè)概念的內(nèi)涵之間沒有任何關(guān)系,稱這兩個(gè)概念無(wú)關(guān)。規(guī)則7:在語(yǔ)義層次上,如果產(chǎn)品知識(shí)模塊本體i和j中的屬性SPi的父概念和子概念內(nèi)涵與SPj的父概念和子概念內(nèi)涵的語(yǔ)義對(duì)應(yīng)相等,則有equivalentProperty(i:SPi,j:SPj),即SPi和SPj的內(nèi)涵相同;反之,則有disjointWith(i:SPi,j:SPj),即i:SPi和j:SPj不相關(guān)。(3)特性集成規(guī)則規(guī)則8:在特性層次上,如果產(chǎn)品知識(shí)模塊本體i和j中的特性的概念內(nèi)涵滿足i:FCi?j:FCj和j:FCj?i:FCj,則FCi和FCj的知識(shí)內(nèi)涵相等,即i:FCi≡j:FCj;如果FCi包含于FCj的知識(shí)內(nèi)涵中,即i:FCi?j:FCj,如果FCj包含于FCi的知識(shí)內(nèi)涵中,即j:FCj?i:FCi。圖1中,內(nèi)膽知識(shí)模塊本體1的概念集合為{用戶需求,設(shè)計(jì)知識(shí),制造知識(shí)、服務(wù)知識(shí)},內(nèi)膽知識(shí)模塊本體2的概念集合為{設(shè)計(jì)知識(shí),制造知識(shí),服務(wù)知識(shí)},后者的知識(shí)都能在前者的知識(shí)集合中找到,即滿足j:內(nèi)膽知識(shí)模塊本體2?i:內(nèi)膽知識(shí)模塊本體1。規(guī)則9:在特性層次上,當(dāng)產(chǎn)品知識(shí)模塊本體i和j中的特性的概念內(nèi)涵滿足i:FCi≡j:FCj時(shí),如果FPi的父概念和子概念與FPj父概念和子概念內(nèi)涵對(duì)應(yīng)相等,則有equivalentProperty(i:FPi,j:FPj),即FPi和FPj相同;反之,則有disjointWith(i:FPi,j:FPj),即i:FPi和j:FPj不相關(guān)。2.3模型中面連接合關(guān)系的建立根據(jù)產(chǎn)品知識(shí)模塊本體的集成規(guī)則,可實(shí)現(xiàn)從結(jié)構(gòu)、語(yǔ)義和特性3個(gè)方面對(duì)產(chǎn)品知識(shí)模塊本體進(jìn)行集成。具體的集成過程如下:輸入:源產(chǎn)品知識(shí)模塊本體i中的概念A(yù)Ci、SCi、FCi,屬性APi、SPi、FPi和目標(biāo)產(chǎn)品知識(shí)模塊本體j中的概念A(yù)Cj、SCj、FCj和屬性APj、SPj、FPj。輸出:概念A(yù)Ci和ACj相等和無(wú)關(guān)關(guān)系,概念SCi和SCj內(nèi)涵的相等、包含或包含于、交叉和無(wú)關(guān)關(guān)系;屬性APi和APj的相等和無(wú)關(guān)關(guān)系,屬性SPi和SPj的相等和無(wú)關(guān)關(guān)系,屬性FPi和FPj的相等和無(wú)關(guān)關(guān)系。(1)對(duì)源產(chǎn)品知識(shí)模塊本體i和目標(biāo)產(chǎn)品知識(shí)模塊本體j的關(guān)系進(jìn)行判斷,如果i和j的名稱滿足相同或同義關(guān)系,則i和j的集成為同級(jí)產(chǎn)品知識(shí)模塊本體的集成,并指定i和j的同義關(guān)系;如果i和j的名稱滿足父子關(guān)系,則i和j的集成為父子產(chǎn)品知識(shí)模塊本體的集成,并指定i和j的父子關(guān)系;如果i和j不滿足上述兩種關(guān)系,則需要為i和j指定共同的父產(chǎn)品知識(shí)模塊本體名稱。(2)從i中選擇一個(gè)概念A(yù)Ci,遍歷j中的所有概念{ACj}與ACi的結(jié)構(gòu)關(guān)系,如果滿足i:ACi∪j:ACj≡j:ACj,則ACi包含于ACj;如果滿足i:ACi∪j:ACj≡j:ACi,則ACj包含于ACi;如果滿足i:ACi≡j:ACj,則ACi與ACj相等;如果不滿足上述條件,需手工指定ACi的ACj的關(guān)系;把上述ACi和ACj關(guān)系寫入產(chǎn)品知識(shí)模塊本體映射文件中。(3)從i中選擇一個(gè)屬性APi,遍歷j中的所有屬性{APj}與APi的結(jié)構(gòu)關(guān)系,如滿足i:ACi≡j:ACj且equivalentProperty(i:APi,j:APj),則Pi和Pj為相等關(guān)系;反之,APi和APj為無(wú)關(guān)關(guān)系;把上述APi和APj的關(guān)系寫入產(chǎn)品知識(shí)模塊本體的映射文件中。(4)從i中選擇一個(gè)概念SCi,遍歷j中的所有{SCj}與SCi的語(yǔ)義關(guān)系,如果滿足j:SCj?i:SCi,則SCj包含于SCi;如果滿足i:SCi?j:SCj,則SCi包含于SCj;如果滿足i:SCi∩j:SCj≠⊥且i:SCi∩j:SCj≠i:SCi且i:SCi∩j:SCj≠j:SCj,則SCi和SCj存在交叉關(guān)系;如果不滿足上述條件,需手工指定SCi的SCj的關(guān)系。(5)從i中選擇一個(gè)屬性SPi,遍歷j中的所有{SPj}與SPi的語(yǔ)義關(guān)系,如果滿足i:SCi≡j:SCj且equivalentProperty(i:SPi,j:SPj),則SPi和SPj語(yǔ)義相同;反之,則SPi和SPj語(yǔ)義無(wú)關(guān)。(6)從i中選擇一個(gè)零件概念FCi,遍歷j中的所有的零件概念{FCj}和FCi的特性關(guān)系,如果FCi和FCj滿足i:FCi≡j:FCj的關(guān)系,則FCi和FCj為相等關(guān)系;如果滿足i:FCi?j:FCj,則FCi包含于FCj;如果滿足j:FCj?i:FCi,則FCj包含于FCi;如果不滿足上述關(guān)系,需手工指定FCi的FCj的關(guān)系。(7)從i中選擇一個(gè)零件概念的屬性FPi,遍歷j中的所有零件概念屬性{FPj}和FPi的特性關(guān)系,如果滿足i:FCi≡j:FCj和equivalentProperty(i:FPi,j:FPj),則FPi和FPj為相等關(guān)系;反之,則FPi和FPj為無(wú)關(guān)關(guān)系。(8)在產(chǎn)品知識(shí)模塊本體映射關(guān)系文件中寫入Ci和Cj、Pi和Pj、SCi和SCj、SPi和SPj、FCi和FCj及FPi和FPj的集成關(guān)系,同時(shí)返回步驟2,選擇i中的下一個(gè)概念。(9)循環(huán)執(zhí)行步驟(2)～(7),直到遍歷i中的所有概念,結(jié)束集成。根據(jù)產(chǎn)品知識(shí)模塊本體結(jié)構(gòu)層次、語(yǔ)義層次和特性層次的集成情況,可得到如圖3所示的產(chǎn)品知識(shí)模塊本體的集成流程圖。2.4儲(chǔ)水式熱電知識(shí)模塊系統(tǒng)的建立—產(chǎn)品知識(shí)模塊本體的集成推理過程推理是對(duì)產(chǎn)品知識(shí)模塊本體集成的可滿足性和一致性進(jìn)行檢查。具體的推理過程如下:輸入:產(chǎn)品知識(shí)模塊本體的多個(gè)動(dòng)態(tài)描述邏輯系統(tǒng){DDLi}i∈I、橋規(guī)則集合{BR}i,j∈I、需要判斷的概念包含i:B?j:D。輸出:“真”和“假”的布爾值。(1)如果Ti|=i:B?i:D成立,轉(zhuǎn)步驟(6);否則轉(zhuǎn)步驟(2)。(2)對(duì)任意的j∈i,j≠i,判斷DDLj與DDLi之間是否滿足條件:①存在從j到i的ONTO—概念橋規(guī)則BR1jiji1,該規(guī)則將DDLi中的概念B對(duì)應(yīng)到DDLi的概念E。②存在從j到i的INTO—概念橋規(guī)則BR2jiji2,將DDLi中的概念D對(duì)應(yīng)到DDLj的概念F。(3)如果存在DDLj,滿足步驟(2)中的條件,則利用推理機(jī)制判斷i:E?j:F是否成立。(4)如果存在i:E?j:F成立,轉(zhuǎn)步驟(6),否則轉(zhuǎn)步驟(5)。(5)判斷是否存在k∈i,k≠j≠i,使得DDLk滿足步驟(2)中的條件,如果存在,轉(zhuǎn)到步驟(2);否則,轉(zhuǎn)到步驟(7)。(6)返回“真”,結(jié)束推理過程。(7)返回“假”,結(jié)束推理過程。圖1中,設(shè)儲(chǔ)水式電熱水器知識(shí)模塊本體為i,內(nèi)膽知識(shí)模塊本體1為j,則輸入為j到i的INTO—概念橋規(guī)則BR2jiji2。故有j:內(nèi)膽?i:內(nèi)膽,把i中的概念“內(nèi)膽”對(duì)應(yīng)到j(luò)中的概念“內(nèi)膽”上,輸出為真值,結(jié)束推理過程。3綜合產(chǎn)品知識(shí)和企業(yè)應(yīng)用3.1儲(chǔ)水式熱電知識(shí)模塊的知識(shí)表達(dá)結(jié)構(gòu)為了說(shuō)明產(chǎn)品知識(shí)模塊本體的集成實(shí)現(xiàn)過程,以某儲(chǔ)水式電熱水器知識(shí)的集成為例,如圖4所示。由于不同企業(yè)的本體構(gòu)建人員對(duì)該電熱水器知識(shí)理解的不同,得到儲(chǔ)水式電熱水器知識(shí)模塊本體1和儲(chǔ)水式電熱水器知識(shí)模塊本體2兩個(gè)不同的知識(shí)表達(dá)結(jié)構(gòu)。為了達(dá)到對(duì)該電熱水器知識(shí)的共同理解,提供更完整的電熱水器知識(shí)服務(wù),需要對(duì)這兩個(gè)本體進(jìn)行結(jié)構(gòu)、語(yǔ)義和特性層次的集成。(1)儲(chǔ)水式熱電知識(shí)模塊的知識(shí)組成依據(jù)定義3、規(guī)則1和規(guī)則2進(jìn)行結(jié)構(gòu)集成,集成后在結(jié)構(gòu)上為儲(chǔ)水式電熱水器知識(shí)模塊本體1提供溫度傳感器、顯示板、主控制板和強(qiáng)電板的相關(guān)知識(shí),為儲(chǔ)水式電熱水器知識(shí)模塊本體2提供外殼的相關(guān)知識(shí)。(2)“加熱管”、“加熱體”和“以鎂棒”的認(rèn)知依據(jù)定義4、規(guī)則3、規(guī)則4、規(guī)則5、規(guī)則6和規(guī)則7進(jìn)行語(yǔ)義集成,幫助對(duì)概念“加熱管”、“加熱體”、“鎂棒”和“犧牲陽(yáng)極棒”的共同的理解,使這些知識(shí)表達(dá)在語(yǔ)義保持一致,便于共享和重用。根據(jù)少數(shù)服從多數(shù)的原則,集成時(shí)用概念“加熱管”取代“加熱體”。同理用“鎂棒”概念取代“犧牲陽(yáng)極棒”,完成語(yǔ)義集成過程。(3)儲(chǔ)水式熱電知識(shí)模塊的特性