專利名稱:一種基于實(shí)時(shí)策略的本體模型生成及管理裝置及方法
技術(shù)領(lǐng)域:
本發(fā)明屬于本體建模領(lǐng)域,對(duì)領(lǐng)域本體的構(gòu)建及管理,具體涉及提供一種基于 On-the-Fly策略的本體模型生成及管理裝置及方法。
背景技術(shù):
目前,在國內(nèi)外的公司和研究機(jī)構(gòu)實(shí)現(xiàn)的一些本體編輯工具中,有些也具有可視化模型生成的功能。這其中最為出色也是使用最為廣泛的是美國斯坦福大學(xué)醫(yī)學(xué)院 (StanfordMedical informatics)開發(fā)的本體編輯工具。模型生成并不是其主要的功能,其在模型生成方面,僅僅只能清晰地展示本體中類以及類的層次關(guān)系;而不能表示本體中的角色關(guān)系。在計(jì)算機(jī)科學(xué)與信息科學(xué)領(lǐng)域,本體(ontology)指一種“形式化的,對(duì)于共享概念體系的明確而又詳細(xì)的說明”。本體提供的是一種共享詞表,也就是特定領(lǐng)域之中那些存在著的對(duì)象類型或概念及其屬性和相互關(guān)系。本體語言是指用于構(gòu)建本體的形式語言。它是一種描述性語言,使用戶可以為領(lǐng)域模型編寫清晰的、形式化的概念描述,滿足良好定義的語法和語義,具有充分的表達(dá)能力等。隨著本體研究的不斷深入,誕生了多種本體描述語言,例如RDF、RDF-S, OWL、XOL等。它們之間有著密切的聯(lián)系,屬于W3C(全球萬維網(wǎng)聯(lián)盟) 本體語言棧中不同層次描述語言,且都是基于XML的。對(duì)本體文件進(jìn)行可視化建模是一種將文本信息、領(lǐng)域知識(shí)和數(shù)據(jù)轉(zhuǎn)化為可視的表示形式,以此提供一種對(duì)本體文件快速理解的輔助手段。應(yīng)用領(lǐng)域的本體建模涉及該領(lǐng)域大量不同粒度的概念、概念所具有的屬性、概念的實(shí)例、相關(guān)概念等各個(gè)方面。本體模型由相互聯(lián)系的不同層次概念、概念的屬性以及概念的實(shí)例組成,既有上下的層次關(guān)系,又有概念間的平行關(guān)系。因此概念及關(guān)系等一些靜態(tài)信息的提取是本體模型構(gòu)建的前提。自動(dòng)機(jī)是有限狀態(tài)的數(shù)學(xué)模型。每個(gè)狀態(tài)可以遷移到零個(gè)或多個(gè)狀態(tài),輸入字串決定執(zhí)行哪個(gè)狀態(tài)的遷移。自動(dòng)機(jī)不僅在理論上有價(jià)值,其在文本處理等領(lǐng)域也得到了應(yīng)用。例如用于XML文檔處理的樹自動(dòng)機(jī)。通過掃描XML文檔,得到獨(dú)立的元素,然后構(gòu)造結(jié)點(diǎn)樹,每個(gè)結(jié)點(diǎn)代表一個(gè)可以與之交互的對(duì)象。這種方式在構(gòu)造整個(gè)文檔結(jié)點(diǎn)樹前都要對(duì) XML文檔進(jìn)行解析,優(yōu)點(diǎn)是一次解析并保留文檔的所有信息,清晰準(zhǔn)確,方便隨意訪問。領(lǐng)域本體通常具有比較大的本體文件,因?yàn)橐粋€(gè)領(lǐng)域中所涉及的概念關(guān)系是非常復(fù)雜的,所以在對(duì)領(lǐng)域本體建模中所遇到的基本上都會(huì)是比較大、所描述關(guān)系比較復(fù)雜的本體文件,而在自動(dòng)機(jī)對(duì)領(lǐng)域本體進(jìn)行建模時(shí)就會(huì)占用大量資源,開銷很大,會(huì)大大降低計(jì)算機(jī)的使用性能。
發(fā)明內(nèi)容
本發(fā)明針對(duì)基于自動(dòng)機(jī)解析本體時(shí)占用資源大,解析效果不好,在文檔較大時(shí),導(dǎo)致計(jì)算機(jī)使用性能降低的問題,提出了一種基于On-the-Fly策略的本體模型生成及管理裝置及方法。與傳統(tǒng)基于自動(dòng)機(jī)解析本體方法相比較,本發(fā)明不需要在每次對(duì)本體文件進(jìn)行編輯后都重新生成模型,只針對(duì)需要的部分重新構(gòu)建模型,有利于縮短模型生成的時(shí)間, 節(jié)約系統(tǒng)資源。本發(fā)明提出的一種基于On-the-Fly策略的本體模型生成及管理裝置,包括本體編輯器、模型生成器、模型顯示器、本體查詢器、本體庫、數(shù)據(jù)庫和用戶界面。本體編輯器中包含語法規(guī)則庫以及模板庫,用戶在本體編輯器中新建空白的本體文件或者利用模塊庫中的模板新建本體文件進(jìn)行編輯,或者讀取本體庫中的本體文件進(jìn)行編輯,編輯后的本體文件保存至本體庫中;本體編輯器提供有對(duì)本體文件進(jìn)行導(dǎo)入、導(dǎo)出、 保存和刪除的維護(hù)功能。本體庫用于保存本體文件。模型生成器讀取本體編輯器中當(dāng)前編輯完成的本體文件,并解析本體文件中的數(shù)據(jù),得到本體文件的靜態(tài)信息和編輯處的文本信息,采用基于On-the-Fly策略的本體模型生成方法生成本體模型,具體是采用自動(dòng)機(jī)提取當(dāng)前本體文件中的靜態(tài)信息構(gòu)造本體文件靜態(tài)部分的模型,然后在基于靜態(tài)部分的模型的基礎(chǔ)上,實(shí)時(shí)地針對(duì)本體文件編輯處的文本信息,動(dòng)態(tài)地提取和綁定修改的賦值,遞進(jìn)地生成最終的本體模型。模型顯示器對(duì)模型生成器生成的本體模型,進(jìn)行可視化顯示,提供了兩種圖形方式來直觀的顯示出本體模型中類與類的關(guān)系、實(shí)例與類的關(guān)系以及實(shí)例與實(shí)例的關(guān)系,兩種圖形方式為通過循環(huán)查找節(jié)點(diǎn)的子類生成樹狀圖,和通過查找節(jié)點(diǎn)的鄰居節(jié)點(diǎn)生成關(guān)聯(lián)圖。本體查詢器解析用戶查詢請(qǐng)求,在模型生成器所生成的本體模型上執(zhí)行查詢,得到查詢結(jié)果返回給用戶界面。用戶界面提供了一個(gè)可視化的圖形界面給用戶,用戶通過用戶界面操作本體編輯器或者輸入用戶查詢請(qǐng)求,用戶界面?zhèn)鬟f用戶查詢請(qǐng)求給本體查詢器,并將本體查詢器返回的查詢結(jié)果顯示給用戶。一種基于本發(fā)明的On-the-Fly策略的本體模型生成及管理平臺(tái)的管理方法,具體是步驟I :用戶通過用戶界面在本體編輯器中編輯本體文件,具體在本體編輯器中新建空白的本體文件進(jìn)行編輯,或者利用模塊庫中的模板新建本體文件進(jìn)行編輯,或者讀取本體庫中的本體文件進(jìn)行編輯;所述的本體編輯器中包含語法規(guī)則庫和模板庫;步驟2 :將編輯完成的本體文件保存至本體庫中,同時(shí)用戶根據(jù)需要,通過本體編輯器對(duì)本體文件進(jìn)行導(dǎo)入、導(dǎo)出、保存或者刪除操作;步驟3 :模型生成器讀取本體編輯器中當(dāng)前編輯完成的本體文件,并解析本體文件,得到本體文件的靜態(tài)信息和編輯處的文本信息,采用基于On-the-Fly策略的本體模型生成方法生成本體模型;步驟4:模型顯示器對(duì)模型生成器生成的本體模型中類與類的關(guān)系、實(shí)例與類的關(guān)系以及實(shí)例與實(shí)例的關(guān)系,提供了兩種圖形方式來直觀地顯示,兩種圖形方式為通過循環(huán)查找節(jié)點(diǎn)的子類生成樹狀圖,和通過查找節(jié)點(diǎn)的鄰居節(jié)點(diǎn)生成關(guān)聯(lián)圖;步驟5 :若顯示的文本模型與預(yù)期不一樣,用戶調(diào)出本體文件到本體編輯器中進(jìn)行修改,然后轉(zhuǎn)步驟2執(zhí)行;步驟6 :用戶通過用戶界面輸入用戶查詢請(qǐng)求,用戶界面?zhèn)鬟f用戶查詢請(qǐng)求給本體查詢器,本體查詢器解析用戶查詢請(qǐng)求,在模型生成器所生成的本體模型上執(zhí)行查詢,得到查詢結(jié)果返回給用戶界面顯示給用戶。本發(fā)明的優(yōu)點(diǎn)和積極效果在于(I)保留了基于自動(dòng)機(jī)的本體信息提取方法的優(yōu)點(diǎn)-高效、靈活和通用性,同時(shí), 結(jié)合On-the-Fly策略針對(duì)編輯的語義單元局部重構(gòu)模型,使得模型生成更快,系統(tǒng)資源占用更少。(2)提供本體文件編輯環(huán)境,包括用于自動(dòng)語法檢測(cè)的語法規(guī)則庫以及編輯模板庫,簡(jiǎn)化本體建模的過程,提高了建模效率。(3)豐富的用戶交互功能便于從各種層面對(duì)模型進(jìn)行分析。(4)圖形導(dǎo)航方式的查詢不僅能查詢到所要檢索的結(jié)果,同時(shí)能顯示被檢索信息的上下文關(guān)系。
圖I為本發(fā)明的本體模型生成及管理裝置的整體結(jié)構(gòu)圖;圖2為本發(fā)明的本體模型生成及管理方法的整體流程圖;圖3為本發(fā)明基于On-the-Fly策略的本體模型生成方法的過程示意圖;圖4為自動(dòng)機(jī)提取本體靜態(tài)信息的示例圖;圖5為本發(fā)明的用戶界面提供的本體模型圖形化顯示狀態(tài)的示意圖;圖6為采用本發(fā)明進(jìn)行本體語義查詢的過程示意圖。
具體實(shí)施例方式下面將結(jié)合附圖和實(shí)施例對(duì)本發(fā)明作進(jìn)一步的詳細(xì)說明。首先,對(duì)On-the-Fly技術(shù)進(jìn)行說明,On-the-Fly指的動(dòng)態(tài)出現(xiàn)的行為,而非靜態(tài)的、預(yù)先確定的行為所導(dǎo)致的必然結(jié)果,直譯為“實(shí)時(shí)的、即時(shí)的”。實(shí)際上在本體文件編輯過程中,用戶對(duì)本體文件進(jìn)行編輯就是動(dòng)態(tài)因素,它的變化影響著最后生成的本體模型。采用On-the-Fly策略,通過定位本體文件中的動(dòng)態(tài)因素以及它的影響范圍,只對(duì)修改影響的范圍進(jìn)行重新解,。這樣可以有效緩解自動(dòng)機(jī)文件解析資源開銷過快的問題。本發(fā)明采用基于RCP (Rich Client Platform,富客戶端平臺(tái))的C/S (Client/ Server,客戶機(jī)/服務(wù)器)架構(gòu)設(shè)計(jì)并實(shí)現(xiàn)本體模型生成及管理裝置。如圖I所示,本發(fā)明的一種基于On-the-Fly策略的本體模型生成及管理裝置包括如下部分本體編輯器I、模型生成器2、模型顯示器3、本體查詢器4、本體庫5、數(shù)據(jù)庫6和用戶界面7。本體編輯器I包含語法規(guī)則庫以及模板庫,依據(jù)語法規(guī)則庫所制定的本體規(guī)則指導(dǎo)領(lǐng)域本體文件的編輯,并對(duì)本體文件提供有導(dǎo)入、導(dǎo)出、保存、刪除等維護(hù)功能。本體編輯器I包括文本編輯框、屬性視圖和類視圖三部分。文本編輯框用于對(duì)本體文件的直接編輯; 類視圖用于顯示本體文件中所包含的所有類,快速定位類在文件中的位置;屬性視圖用于顯示類所具有的屬性,即類與類之間的關(guān)系。用戶在本體編輯器I中可以新建空白的本體文件進(jìn)行編輯,或者利用模塊庫中的模板新建本體文件進(jìn)行編輯,或者讀取本體庫5中的本體文件進(jìn)行編輯,編輯后的本體文件保存至本體庫5中。本體編輯器I具有語法檢測(cè)功能,具體是指從本體文件的文檔聲明開始,檢查每一個(gè)開始標(biāo)記和結(jié)束標(biāo)記是否成對(duì)出現(xiàn),元素是否正確嵌套,不允許出現(xiàn)交叉嵌套的現(xiàn)象,即文本文件中不能有單個(gè)開始標(biāo)記或者單個(gè)結(jié)束標(biāo)記出現(xiàn)。對(duì)不同的語法錯(cuò)誤使用不同顏色的高亮顯示。模型生成器2運(yùn)行于后臺(tái),讀取本體編輯器I中當(dāng)前編輯完成的本體文件,并解析本體文件中的數(shù)據(jù),抽取關(guān)鍵信息,實(shí)時(shí)生成本體模型。模型生成器2采用基于On-the-Fly 策略的本體模型生成方法生成模型,所采用的生成方法針對(duì)本體文件中的靜態(tài)和動(dòng)態(tài)兩部分分別進(jìn)行處理,動(dòng)態(tài)部分為當(dāng)前本體文件編輯處的文本信息。靜態(tài)部分采用自動(dòng)機(jī)提取當(dāng)前本體文件中靜態(tài)信息,構(gòu)造對(duì)應(yīng)的靜態(tài)部分的模型,然后在基于靜態(tài)部分的模型的基礎(chǔ)上,以O(shè)n-the-Fly的方式在當(dāng)前狀態(tài)處動(dòng)態(tài)地提取和綁定本體文件編輯處的文本信息所修改的賦值,遞進(jìn)地生成模型。所提取靜態(tài)信息中的類以及屬性在本體編輯器I的類視圖和屬性視圖中顯不。模型顯示器3對(duì)模型生成器2生成的本體模型,進(jìn)行可視化顯示。模型顯示器3 以兩種不同的圖形方式直觀的顯示出類與類的關(guān)系、實(shí)例與類的關(guān)系以及實(shí)例與實(shí)例的關(guān)系。一種圖形方式是循環(huán)查找節(jié)點(diǎn)的子類生成樹狀圖,另一種圖形方式是不斷查找節(jié)點(diǎn)的鄰居節(jié)點(diǎn)生成關(guān)聯(lián)圖。模型顯示器3通過各種鼠標(biāo)事件監(jiān)聽器提供用戶交互功能,響應(yīng)用戶輸入,完成包括平移、縮放、類層次結(jié)構(gòu)圖顯示、關(guān)聯(lián)結(jié)構(gòu)圖顯示、實(shí)例顯示等功能。模型顯示器3還提供了本體模型導(dǎo)出功能,可將本體模型以圖片模式導(dǎo)出并保存。本體查詢器4在模型生成器2生成的本體模型上執(zhí)行解析后的用戶查詢請(qǐng)求,調(diào)用查詢方法進(jìn)行檢索,并返回查詢結(jié)果給用戶界面7。查詢方法主要為基于關(guān)鍵字的檢索和基于可視化的交互式查詢兩種方式?;陉P(guān)鍵字的檢索方式,指的是根據(jù)用戶查詢請(qǐng)求中輸入的檢索關(guān)鍵字,得到所有與關(guān)鍵字匹配的模型元素的列表,并且對(duì)列表中的元素進(jìn)行進(jìn)一步的查詢。當(dāng)選擇結(jié)果列表中的一個(gè)元素(所述的元素是一個(gè)類),就可以得到本體模型關(guān)聯(lián)圖的一個(gè)導(dǎo)出子圖, 這個(gè)子圖中包含選擇的類對(duì)應(yīng)的頂點(diǎn)以及所有與所選擇的頂點(diǎn)相鄰的頂點(diǎn),以及這些頂點(diǎn)之間的所有邊。所得到的導(dǎo)出子圖就是查詢結(jié)果?;诳梢暬慕换ナ讲樵兎绞?,指的是利用鼠標(biāo)同顯示的拓?fù)鋱D元(頂點(diǎn)和邊) 進(jìn)行交互,以查詢它們所代表的模型元素(類,實(shí)例,對(duì)象屬性)的詳細(xì)信息,這些信息將以數(shù)據(jù)表格的形式返回給用戶。類的詳細(xì)信息應(yīng)包括類的名字,以及類的所有數(shù)據(jù)類型屬性的名字、類型;實(shí)例的詳細(xì)信息應(yīng)包括實(shí)例的名字、從屬類,以及實(shí)例的所有屬性的名字、類型和取值;對(duì)象屬性的詳細(xì)信息應(yīng)包括類與類之間的關(guān)系。本體庫5用于保存本體文件。用戶可在該本體庫5中通過人工方式將不同領(lǐng)域本體進(jìn)行歸類整理。數(shù)據(jù)庫6用于對(duì)本體庫5中的本體文件進(jìn)行備份。本體文件可以從本體庫5中讀取,也可以直接從數(shù)據(jù)庫6中讀取。在從本體庫5中讀取本體文件發(fā)生錯(cuò)誤時(shí),從數(shù)據(jù)庫6 中恢復(fù)原始文件到本體庫5中。用戶界面7提供可視化的圖形界面給用戶,以方便用戶與計(jì)算機(jī)的交互。用戶通過用戶界面7操作本體編輯器I或者輸入用戶查詢請(qǐng)求,用戶界面7傳遞用戶查詢請(qǐng)求給本體查詢器4,并將本體查詢器4返回的查詢結(jié)果顯示給用戶。模型生成器2解析本體編輯器I當(dāng)前編輯完成的本體文件,得到本體文件的靜態(tài)信息和編輯處的文本信息。本體模型的生成分為靜態(tài)部分和動(dòng)態(tài)部分,靜態(tài)部分就是指本體文件的靜態(tài)信息的模型生成,動(dòng)態(tài)部分就是指本體文件中編輯處的文本信息的模型的生成。本體的結(jié)構(gòu)是一個(gè)五元組0 := {C,R,Hc, rel, A°},其中C表示概念,R表示關(guān)系, Hc表示概念的層次,例如He(Cl,C2)表示Cl是C2的子概念,rel表示概念間的關(guān)系,例如 rel (R) = (Cl,C2)表示概念Cl和概念C2之間具有關(guān)系R,A0表示用某種邏輯語言表示的一組本體公理。本體文件中有三種表示方式句型I :〈構(gòu)造子標(biāo)記=概念名稱I關(guān)系類型 >,例如〈owl :class rdf ID = Sunboard> ;句型2 :〈構(gòu)造子標(biāo)記=概念名稱I關(guān)系類型/>,例如〈owl :class rdf ID = Sunboard/> ;句型3 </ 構(gòu)造子 >,例如〈/owl class>0其中,構(gòu)造子分為基本構(gòu)造子和關(guān)系構(gòu)造子,基本構(gòu)造子描述類(Class)、屬性 (Property)、實(shí)例(Instance)等基本概念;關(guān)系構(gòu)造子描述類繼承(subClassOf)、屬性繼承(subPropertyOf)、值域(Range)、定義域(Domain)等關(guān)系。分別用A、B、C表示句型I、 句型2和句型3,用a、b、c表示構(gòu)造子、標(biāo)記名、概念名稱關(guān)系類型,用W表示句子集合,用 T表示名值對(duì),則本體的語法可用如下文法表示I、S => AffC
2、W = > AffCff I Bff
3、W = > AC|B
4、A = > <a> I <aT>
5、B = > <aT/>
6、C = > </a>
7、T=>b = c
其中構(gòu)造子a以及對(duì)應(yīng)的概念名稱I關(guān)系類型c是需要提取出來的靜態(tài)信息。靜態(tài)部分直接采用自動(dòng)機(jī)提取當(dāng)前本體文件中靜態(tài)信息構(gòu)造對(duì)應(yīng)的模型。
動(dòng)態(tài)部分為當(dāng)前本體文件編輯處的文本信息。具體是通過語義單元檢測(cè)和模型動(dòng)
態(tài)修正,生成實(shí)時(shí)的文本文件的模型。語義單元檢測(cè),輸入是編輯處的語句,檢測(cè)的目的是判斷當(dāng)前編輯的語句的影響范圍,輸出為當(dāng)前編輯的語句所在的最小語義單元。模型動(dòng)態(tài)修正,輸入是語義單元檢測(cè)出來的最小語義單元,輸出是生成的語義單元模型,并將其替換到對(duì)應(yīng)的原語義單元在原文本模型中的位置。語義單元檢測(cè)具體過程是首先記錄編輯語句所在的位置,編輯語句的個(gè)數(shù)P > 0,可能修改一處也可能進(jìn)行多次修改,從第一處編輯的地方開始,首先判斷該編輯語句是否完整,若語句完整則判斷該編輯語句所屬句型,是A型、B型還是C型,接著向上檢索最近的A型語句,并向下檢索對(duì)應(yīng)的C型語句,此時(shí)AWC為編輯語句所在的最小語義單元。重復(fù)這一過程,直到所有被編輯的語義單元被識(shí)別出來。模型動(dòng)態(tài)修正具體過程是將采用自動(dòng)機(jī)提取靜態(tài)信息構(gòu)造的靜態(tài)部分的模型作為原模型。針對(duì)通過語義單元檢測(cè)識(shí)別出的各語義單元,首先遍歷原模型,定位該語義單元在模型中的位置,然后采用自動(dòng)機(jī)生成該語義單元的當(dāng)前模型,最后用生成的當(dāng)前模型替換語義單元在原模型中的位置。重復(fù)這一過程,直到所有被編輯的語義單元(也就是所有被語義單元檢測(cè)識(shí)別出的語義單元)在原模型中對(duì)應(yīng)的模型均被替換,最終得到所需要的本體模型。如圖2所示,基于本發(fā)明提供的本體模型生成及管理裝置的本體模型生成及管理方法具體為步驟I :本體編輯器I包括語法規(guī)則庫以及模板庫,用戶通過用戶界面I在本體編輯器I上進(jìn)行本體文件的編輯。用戶可以使用模板庫中提供的初始模板直接進(jìn)行編輯,也可以使用空白模板進(jìn)行編輯。用戶也可以打開已有的本體文件,并在其上進(jìn)行編輯。同時(shí), 本體編輯器I還提供有依據(jù)語法規(guī)則庫中定義的語法規(guī)則對(duì)文件編輯部分進(jìn)行語法檢測(cè)的功能,并提供錯(cuò)誤提示服務(wù)。本體編輯器I具有語法檢測(cè)功能,具體是指從本體文件的文檔聲明開始,檢查每一個(gè)開始標(biāo)記和結(jié)束標(biāo)記是否成對(duì)出現(xiàn),元素是否正確嵌套,不允許出現(xiàn)交叉嵌套的現(xiàn)象,即文本文件中不能有單個(gè)開始標(biāo)記或者單個(gè)結(jié)束標(biāo)記出現(xiàn)。對(duì)不同的語法錯(cuò)誤使用不同顏色的高亮顯示。步驟2 :將編輯完成的本體文件保存至本體庫5中,同時(shí)用戶根據(jù)需要,通過本體編輯器I對(duì)本體文件進(jìn)行導(dǎo)入、導(dǎo)出、保存或者刪除操作。步驟3 :模型生成器2讀取本體編輯器I中當(dāng)前編輯完成的本體文件,并解析該本體文件,抽取出其中關(guān)鍵信息,得到本體文件的靜態(tài)信息和編輯處的文本信息,采用基于 On-the-Fly策略的本體模型生成方法生成本體模型,具體是采用自動(dòng)機(jī)提取當(dāng)前本體文件中的靜態(tài)信息構(gòu)造本體文件靜態(tài)部分的模型,然后在基于靜態(tài)部分的模型的基礎(chǔ)上,實(shí)時(shí)地針對(duì)本體文件編輯處的文本信息,動(dòng)態(tài)地提取和綁定修改的賦值,遞進(jìn)地生成最終的本體模型。步驟4 :模型顯示器3對(duì)模型生成器2生成的本體模型中類與類的關(guān)系、實(shí)例與類的關(guān)系以及實(shí)例與實(shí)例的關(guān)系,提供了兩種圖形方式來直觀地顯示,兩種圖形方式為通過循環(huán)查找節(jié)點(diǎn)的子類生成樹狀圖,和通過查找節(jié)點(diǎn)的鄰居節(jié)點(diǎn)生成關(guān)聯(lián)圖。模型顯示器3還通過各種鼠標(biāo)事件監(jiān)聽器提供用戶交互功能,響應(yīng)用戶通過用戶界面7的輸入,完成包括平移、縮放、類層次結(jié)構(gòu)圖顯示、關(guān)聯(lián)結(jié)構(gòu)圖顯示、實(shí)例顯示等功倉泛。模型顯示器3提供模型導(dǎo)出功能,可將模型以圖片模式導(dǎo)出并保存。步驟5 :若顯示的文本模型與預(yù)期不一樣,用戶從本體庫5中或文件保存位置調(diào)出該本體文件到本體編輯器I中進(jìn)行修改,然后轉(zhuǎn)步驟2執(zhí)行,重新生成本體模型并顯示。步驟6 :本體查詢器4接收用戶通過用戶界面7發(fā)送來的用戶查詢請(qǐng)求,解析該查詢請(qǐng)求,調(diào)用查詢方法在當(dāng)前模型生成器2所生成的本體模型中進(jìn)行查詢,將得到查詢結(jié)果返回給用戶界面7,以顯示給用戶查看。如圖3所示,步驟3中基于On-the-Fly策略的本體模型生成過程包括如下步驟步驟一自動(dòng)機(jī)提取當(dāng)前本體文件中的靜態(tài)信息,生成靜態(tài)部分的模型。靜態(tài)信息指的已經(jīng)通過語法檢測(cè)的本體文件中所包含的概念、屬性、實(shí)例以及它們之間的關(guān)系。步驟二 判斷當(dāng)前本體文件是否處于編輯狀態(tài),若處于編輯狀態(tài),轉(zhuǎn)至步驟三,若不處于編輯狀態(tài),轉(zhuǎn)步驟一;步驟三記錄編輯語句所在的位置,判斷被編輯語句的完整性,若語句完整,確定被編輯語句的句型,是A、B還是C型,并向上檢索最近的A型語句,向下檢索對(duì)應(yīng)的C型語句,獲取AWC形式的最小語義單元,若語句不完整,則提示用戶存在語法錯(cuò)誤,需要進(jìn)行修
改。
句型A :〈構(gòu)造子標(biāo)記=概念名稱I關(guān)系類型〉,例如〈owlclassrdf ID =Sunboard>。
句型B :〈構(gòu)造子標(biāo)記=概念名稱I關(guān)系類型/>,例如〈owlclassrdf ID =Sunboard/>。
句型 C </ 構(gòu)造子 >,例如〈/owl class>0
步驟四自動(dòng)機(jī)提取所識(shí)別的所有最小語義單元的信息,生成對(duì)應(yīng)的語義單元的模型。
步驟五,更新原模型。針對(duì)提取識(shí)別出的各最小語義單元,首先遍歷原模型,定位
各最小語義單元在原模型中的位置,然后用自動(dòng)機(jī)生成的最小語義單元的模型,替換該語義單元在原模型中的位置的模型。所述的原模型是指采用自動(dòng)機(jī)提取靜態(tài)信息所構(gòu)造的靜態(tài)部分的模型。文本模型的更新不是通過重新對(duì)本體文件進(jìn)行解析,而是根據(jù)用戶修改的內(nèi)容,定位最小語義單元,僅對(duì)修改的地方更新模型,以實(shí)現(xiàn)實(shí)時(shí)性。如圖4所示,自動(dòng)機(jī)的初始狀態(tài)為1,終結(jié)狀態(tài)為8,以〈owl :class rdf ID = Sunboard〉為例,該例是用本體描述語言owl描述的一個(gè)本體語句,其中Sunboard表示太陽帆板,它是航空領(lǐng)域的一個(gè)概念(class),經(jīng)由自動(dòng)機(jī)解析的狀態(tài)轉(zhuǎn)換過程為1->2_> 4- > 4- > 5- > 6- > 7- > 7- > 8。詳細(xì)說明如下1為初始狀態(tài)。接收“〈”進(jìn)入起始判定,進(jìn)入狀態(tài)2。接收狀態(tài),若為“/”,進(jìn)入狀態(tài)3 ;若為a(構(gòu)造子),則進(jìn)入狀態(tài)4 ;否則解析異常。狀態(tài)3接收a (構(gòu)造子),進(jìn)入狀態(tài)7 ;接收“>”進(jìn)入終止判定狀態(tài)8。狀態(tài)4接收空格,回到自身狀態(tài)。狀態(tài)4 接收b(標(biāo)記名),進(jìn)入狀態(tài)5。狀態(tài)5接收“ = ”,進(jìn)入狀態(tài)6。狀態(tài)6接收c (概念名稱關(guān)系類型),進(jìn)入狀態(tài)7。接收狀態(tài),若為“/”,回自身狀態(tài)。若為“>”,進(jìn)入終止判定狀態(tài)8。
圖4所示的例子中,被提取的靜態(tài)信息為class和Sunboard,隱含的意思為 Sunboard 是一個(gè)概念(class)。模型生成器2所生成的模型并不是用戶最終看到的那種形式,要更抽象,模型顯示器3將本體模型中一些關(guān)系用圖形化控件來替換,用戶界面7則顯示的是將替換后的最終的本體模型以更友好的方式顯示在用戶面前。如圖5所示,在用戶界面7所提供的圖形化顯示包括如下幾個(gè)狀態(tài)。初始化狀態(tài)在該狀態(tài)下,模型對(duì)象完成自身的初始化工作,包括完成各種設(shè)置以及構(gòu)建各個(gè)成員對(duì)象/數(shù)據(jù)結(jié)構(gòu)。顯示樹形圖狀態(tài)在此狀態(tài)下,模型對(duì)象顯示的本體模型的類層次結(jié)構(gòu)圖,也就是樹形圖。用戶可以改變鼠標(biāo)狀態(tài)、對(duì)圖形進(jìn)行放大、縮小、平移、選取、小地圖導(dǎo)航等操作,但不會(huì)影響模型對(duì)象所處的狀態(tài),因?yàn)槟P惋@示的仍然是樹形圖。如果用戶切換圖形化狀態(tài), 模型將轉(zhuǎn)換到顯示關(guān)聯(lián)圖狀態(tài);若操作回退,則模型對(duì)象將回退到上一個(gè)顯示視圖。顯示關(guān)聯(lián)圖狀態(tài)在此狀態(tài)下,模型對(duì)象顯示的是關(guān)聯(lián)圖,關(guān)聯(lián)圖描述了本體類之間的關(guān)聯(lián)關(guān)系,也包括類的實(shí)例,實(shí)例與類的關(guān)系,實(shí)例與實(shí)例的關(guān)系。同顯示樹形圖狀態(tài)一樣,用戶可以改變鼠標(biāo)狀態(tài)、對(duì)圖形進(jìn)行放大、縮小、平移、選取、小地圖導(dǎo)航等操作,但不會(huì)影響模型對(duì)象所處的狀態(tài)。用戶可以在關(guān)聯(lián)圖和樹形圖之間進(jìn)行切換,同樣也具備操作
11回退功能。樹圖類頂點(diǎn)快捷菜單狀態(tài)該狀態(tài)提供給用戶就當(dāng)前顯示進(jìn)行下一步操作的便捷入口,快捷菜單中包括3個(gè)選項(xiàng)。分別為顯示/隱藏子樹、顯示數(shù)據(jù)類型屬性、顯示實(shí)例。顯示/隱藏子樹用于對(duì)樹形圖進(jìn)行子樹展開/隱藏處理,其狀態(tài)返回顯示樹形圖狀態(tài);顯示數(shù)據(jù)類型屬性用于在數(shù)據(jù)表格中顯示選定的類的所有數(shù)據(jù)類型屬性的信息;其狀態(tài)返回顯示樹形圖狀態(tài);顯示實(shí)例用于顯示實(shí)例圖狀態(tài)。關(guān)聯(lián)圖類頂點(diǎn)快捷菜單狀態(tài)該狀態(tài)同樣是提供給用戶就當(dāng)前顯示進(jìn)行下一步操作的便捷入口,快捷菜單中包括2個(gè)選項(xiàng),分別為顯示數(shù)據(jù)類型屬性和顯示實(shí)例。顯示數(shù)據(jù)類型屬性用于在數(shù)據(jù)表格中顯示選定的類的所有數(shù)據(jù)類型屬性的信息,其狀態(tài)返回顯示樹形圖狀態(tài);顯示實(shí)例用于顯示實(shí)例圖狀態(tài)。關(guān)聯(lián)圖邊快捷菜單狀態(tài)快捷菜單中包括I個(gè)選項(xiàng)顯示相關(guān)信息,用于在數(shù)據(jù)表格中得到此對(duì)象屬性的詳細(xì)信息,包括它的名稱,URI, domain, range,對(duì)稱性、傳遞性等信息,模型對(duì)象的狀態(tài)返回顯示關(guān)聯(lián)圖狀態(tài)。圖6為采用本發(fā)明裝置或方法進(jìn)行本體語義查詢的過程,解析用戶界面7接收的用戶查詢請(qǐng)求,并提交至本體查詢器,最后得出結(jié)果返回給用戶。查詢方法主要為基于關(guān)鍵字的檢索和基于可視化的交互式查詢兩種形式?;陉P(guān)鍵字的檢索方式,指的是根據(jù)用戶查詢請(qǐng)求中輸入的檢索關(guān)鍵字,得到所有與關(guān)鍵字匹配的模型元素的列表,并且對(duì)列表中的元素進(jìn)行進(jìn)一步的查詢。當(dāng)選擇結(jié)果列表中的一個(gè)元素(所述的元素是一個(gè)類),就可以得到本體模型關(guān)聯(lián)圖的一個(gè)導(dǎo)出子圖, 這個(gè)子圖中包含選擇的類對(duì)應(yīng)的頂點(diǎn)以及所有與所選擇的頂點(diǎn)相鄰的頂點(diǎn),以及這些頂點(diǎn)之間的所有邊。所得到的導(dǎo)出子圖就是查詢結(jié)果?;诳梢暬慕换ナ讲樵冎傅氖抢檬髽?biāo)同顯示的拓?fù)鋱D元(頂點(diǎn)和邊)進(jìn)行交互,以查詢它們所代表的模型元素(類,實(shí)例,對(duì)象屬性)的詳細(xì)信息,這些信息將以數(shù)據(jù)表格的形式返回給用戶。類的詳細(xì)信息應(yīng)包括類的名字,以及類的所有數(shù)據(jù)類型屬性的名字、 類型;實(shí)例的詳細(xì)信息應(yīng)包括實(shí)例的名字、從屬類,以及實(shí)例的所有屬性的名字、類型和取值;對(duì)象屬性的詳細(xì)信息應(yīng)包括類與類之間的關(guān)系。
權(quán)利要求
1.一種基于On-the-Fly策略的本體模型生成及管理裝置,其特征在于,該裝置包括 本體編輯器(I)、模型生成器(2)、模型顯示器(3)、本體查詢器(4)、本體庫(5)和用戶界面(7);本體編輯器(I)中包含語法規(guī)則庫以及模板庫,用戶在本體編輯器(I)中新建空白的本體文件或者利用模塊庫中的模板新建本體文件進(jìn)行編輯,或者讀取本體庫(5)中的本體文件進(jìn)行編輯,編輯后的本體文件保存至本體庫(5)中;本體編輯器(I)提供有對(duì)本體文件進(jìn)行導(dǎo)入、導(dǎo)出、保存和刪除的維護(hù)功能;模型生成器(2)讀取本體編輯器(I)中當(dāng)前編輯完成的本體文件,并解析本體文件中的數(shù)據(jù),得到本體文件的靜態(tài)信息和編輯處的文本信息,采用基于On-the-Fly策略的本體模型生成方法生成本體模型,具體是采用自動(dòng)機(jī)提取當(dāng)前本體文件中的靜態(tài)信息構(gòu)造本體文件靜態(tài)部分的模型,然后在基于靜態(tài)部分的模型的基礎(chǔ)上,實(shí)時(shí)地針對(duì)本體文件編輯處的文本信息,動(dòng)態(tài)地提取和綁定修改的賦值,遞進(jìn)地生成最終的本體模型;模型顯示器(3)對(duì)模型生成器(2)生成的本體模型,進(jìn)行可視化顯示,提供了兩種圖形方式來直觀的顯示出本體模型中類與類的關(guān)系、實(shí)例與類的關(guān)系以及實(shí)例與實(shí)例的關(guān)系, 兩種圖形方式為通過循環(huán)查找節(jié)點(diǎn)的子類生成樹狀圖,和通過查找節(jié)點(diǎn)的鄰居節(jié)點(diǎn)生成關(guān)聯(lián)圖;本體查詢器(4)解析用戶查詢請(qǐng)求,在模型生成器(2)所生成的本體模型上執(zhí)行查詢, 得到查詢結(jié)果返回給用戶界面(7);用戶界面(7)提供了一個(gè)可視化的圖形界面給用戶,用戶通過用戶界面(7)操作本體編輯器(I)或者輸入用戶查詢請(qǐng)求,用戶界面(7)傳遞用戶查詢請(qǐng)求給本體查詢器(4),并將本體查詢器(4)返回的查詢結(jié)果顯示給用戶。
2.根據(jù)權(quán)利要求I所述的一種基于On-the-Fly策略的本體模型生成及管理裝置,其特征在于,所述的本體編輯器(I)包括文本編輯框、屬性視圖和類視圖三部分;文本編輯框用于用戶對(duì)本體文件進(jìn)行編輯,并依據(jù)語法規(guī)則庫中定義的語法規(guī)則對(duì)文件編輯部分進(jìn)行語法檢測(cè),若發(fā)現(xiàn)錯(cuò)誤則進(jìn)行提示;類視圖用于顯示本體文件中所包含的所有類,并提供了能夠快速定位類在文件中的位置的功能;屬性視圖用于顯示類所具有的屬性,也就是類與類之間的關(guān)系。
3.根據(jù)權(quán)利要求2所述的一種基于On-the-Fly策略的本體模型生成及管理裝置,其特征在于,所述的本體編輯器(I)具有語法檢測(cè)功能,具體是從本體文件的文檔聲明開始, 檢查每一個(gè)開始標(biāo)記和結(jié)束標(biāo)記是否成對(duì)出現(xiàn)、元素是否正確嵌套、文本文件中是否存在單個(gè)開始標(biāo)記或者單個(gè)結(jié)束標(biāo)記,用不同顏色的高亮顯示所檢測(cè)出的語法錯(cuò)誤。
4.根據(jù)權(quán)利要求I所述的一種基于On-the-Fly策略的本體模型生成及管理裝置,其特征在于,所述的模型生成器(2)解析當(dāng)前本體編輯器(I)中編輯完成的本體文件,得到本體文件的靜態(tài)信息和編輯處的文本信息,將采用自動(dòng)機(jī)提取靜態(tài)信息構(gòu)造的靜態(tài)部分的模型作為原模型,再對(duì)編輯處的文本信息通過語義單元檢測(cè)和模型動(dòng)態(tài)修正生成最終的文本模型;其中,語義單元檢測(cè)的具體過程是首先記錄編輯語句所在的位置,從第一處編輯的地方開始,首先判斷該編輯語句是否完整,若語句不完整,提示存在語法錯(cuò)誤,需要進(jìn)行修改; 若語句完整,則確定該編輯語句所屬的句型,是A型、B型還是C型,接著向上檢索最近的A型語句,并向下檢索對(duì)應(yīng)的C型語句,將檢索得到的AWC作為編輯語句所在的最小語義單元,W表示句子集合;對(duì)所有的編輯語句重復(fù)語義單元檢測(cè)的過程,直到所有被編輯的語義單元都識(shí)別出來;所述的A型句型為〈構(gòu)造子標(biāo)記=概念名稱關(guān)系類型〉,所述的B型句型為〈構(gòu)造子標(biāo)記=概念名稱I關(guān)系類型/>,所述的C型句型為〈/構(gòu)造子> ;模型動(dòng)態(tài)修正的具體過程是針對(duì)通過語義單元檢測(cè)識(shí)別出的各最小語義單元,首先遍歷原模型,定位該語義單元在原模型中的位置,然后采用自動(dòng)機(jī)生成該語義單元的當(dāng)前模型,最后用該語義單元的當(dāng)前模型替換該語義單元在原模型中的位置;重復(fù)模型動(dòng)態(tài)修正的過程,直到所有被識(shí)別的語義單元在原模型中的位置。
5.根據(jù)權(quán)利要求I所述的一種基于On-the-Fly策略的本體模型生成及管理裝置,其特征在于,所述的本體查詢器(4)提供了兩種查詢方法第一種基于關(guān)鍵字的檢索方式,具體是根據(jù)用戶查詢請(qǐng)求中輸入的檢索關(guān)鍵字,得到所有與關(guān)鍵字匹配的模型元素的列表,對(duì)列表中的元素進(jìn)行進(jìn)一步的查詢,得到結(jié)果列表, 當(dāng)選擇結(jié)果列表中的一個(gè)元素,就得到了本體模型關(guān)聯(lián)圖的一個(gè)導(dǎo)出子圖,該子圖中包含選擇的元素對(duì)應(yīng)的頂點(diǎn)以及所有與所選擇的頂點(diǎn)相鄰的頂點(diǎn),以及頂點(diǎn)之間的所有邊;第二種基于可視化的交互式查詢方式,具體是利用鼠標(biāo)同顯示的拓?fù)鋱D元進(jìn)行交互, 以查詢它們所代表的模型元素的詳細(xì)信息,詳細(xì)信息將以數(shù)據(jù)表格的形式返回給用戶,所述的模型元素包括類、實(shí)例和對(duì)象屬性;類的詳細(xì)信息包括類名、類的所有數(shù)據(jù)類型屬性名和類型;實(shí)例的詳細(xì)信息包括實(shí)例的名字、從屬類,以及實(shí)例的所有屬性的名字、類型和取值;對(duì)象屬性的詳細(xì)信息包括類與類之間的關(guān)系。
6.根據(jù)權(quán)利要求I所述的一種基于On-the-Fly策略的本體模型生成及管理裝置,其特征在于,所述的本體模型生成及管理裝置還包括數(shù)據(jù)庫¢),用于備份本體庫(5)中的數(shù)據(jù)。
7.應(yīng)用權(quán)利要求I所述的本體模型生成及管理裝置的基于On-the-Fly策略的本體模型生成及管理方法,其特征在于,該方法包括如下步驟步驟I :用戶通過用戶界面(7)在本體編輯器(I)中編輯本體文件,具體在本體編輯器(I)中新建空白的本體文件進(jìn)行編輯,或者利用模塊庫中的模板新建本體文件進(jìn)行編輯,或者讀取本體庫(5)中的本體文件進(jìn)行編輯;所述的本體編輯器(I)中包含語法規(guī)則庫和模板庫;步驟2 :將編輯完成的本體文件保存至本體庫(5)中,同時(shí)用戶根據(jù)需要,通過本體編輯器(I)對(duì)本體文件進(jìn)行導(dǎo)入、導(dǎo)出、保存或者刪除操作;步驟3 :模型生成器(2)讀取本體編輯器(I)中當(dāng)前編輯完成的本體文件,并解析本體文件,得到本體文件的靜態(tài)信息和編輯處的文本信息,采用基于On-the-Fly策略的本體模型生成方法生成本體模型;步驟4 :模型顯示器(3)對(duì)模型生成器(2)生成的本體模型中類與類的關(guān)系、實(shí)例與類的關(guān)系以及實(shí)例與實(shí)例的關(guān)系,提供了兩種圖形方式來直觀地顯示,兩種圖形方式為通過循環(huán)查找節(jié)點(diǎn)的子類生成樹狀圖,和通過查找節(jié)點(diǎn)的鄰居節(jié)點(diǎn)生成關(guān)聯(lián)圖;步驟5 :若顯示的文本模型與預(yù)期不一樣,用戶調(diào)出本體文件到本體編輯器(I)中進(jìn)行修改,然后轉(zhuǎn)步驟2執(zhí)行;步驟6 :用戶通過用戶界面(7)輸入用戶查詢請(qǐng)求,用戶界面(7)傳遞用戶查詢請(qǐng)求給本體查詢器(4),本體查詢器(4)解析用戶查詢請(qǐng)求,在模型生成器(2)所生成的本體模型上執(zhí)行查詢,得到查詢結(jié)果返回給用戶界面(7)顯示給用戶。
8.根據(jù)權(quán)利要求7所述一種基于On-the-Fly策略的本體模型生成及管理方法,其特征在于,所述的步驟I中,用戶在本體編輯器(I)中進(jìn)行本體文件編輯時(shí)候,本體編輯器(I) 還提供語法檢測(cè)功能,具體是指從本體文件的文檔聲明開始,檢查每一個(gè)開始標(biāo)記和結(jié)束標(biāo)記是否成對(duì)出現(xiàn)、元素是否正確嵌套、文本文件中是否存在單個(gè)開始標(biāo)記或者單個(gè)結(jié)束標(biāo)記,用不同顏色的高亮顯示所檢測(cè)出的語法錯(cuò)誤。
9.根據(jù)權(quán)利要求7所述一種基于On-the-Fly策略的本體模型生成及管理方法,其特征在于,所述的步驟2中采用基于On-the-Fly策略的本體模型生成方法生成本體模型,具體是步驟I :自動(dòng)機(jī)提取本體編輯器(I)中當(dāng)前的本體文件中的靜態(tài)信息,生成靜態(tài)部分的模型;步驟2 :判斷當(dāng)前本體文件是否處于編輯狀態(tài),若處于編輯狀態(tài),轉(zhuǎn)至步驟3,若不處于編輯狀態(tài),轉(zhuǎn)步驟I;步驟3 :記錄編輯語句所在的位置,判斷被編輯語句的完整性,若語句完整,確定該編輯語句所屬的句型,是A型、B型還是C型,并向上檢索最近的A型語句,向下檢索對(duì)應(yīng)的C 型語句,獲取AWC形式的最小語義單元,W表示句子集合,若語句不完整,則提示用戶存在語法錯(cuò)誤,需要進(jìn)行修改;A型句型為〈構(gòu)造子標(biāo)記=概念名稱I關(guān)系類型>,B型句型為〈 構(gòu)造子標(biāo)記=概念名稱I關(guān)系類型/>,C型句型為〈/構(gòu)造子> ;步驟4 自動(dòng)機(jī)提取所識(shí)別的所有最小語義單元的信息,生成對(duì)應(yīng)的語義單元的模型;步驟5,針對(duì)各最小語義單元,遍歷原模型,定位各最小語義單元在原模型中的位置,然后用自動(dòng)機(jī)生成的最小語義單元的模型,替換該語義單元在原模型中的位置的模型;所述的原模型是指采用自動(dòng)機(jī)提取靜態(tài)信息所構(gòu)造的靜態(tài)部分的模型。
10.根據(jù)權(quán)利要求7所述一種基于On-the-Fly策略的本體模型生成及管理方法,其特征在于,所述的步驟6中提供了兩種查詢方法第一種基于關(guān)鍵字的檢索方式,具體是根據(jù)用戶查詢請(qǐng)求中輸入的檢索關(guān)鍵字,得到所有與關(guān)鍵字匹配的模型元素的列表,對(duì)列表中的元素進(jìn)行進(jìn)一步的查詢,得到結(jié)果列表, 當(dāng)選擇結(jié)果列表中的一個(gè)元素,就得到了本體模型關(guān)聯(lián)圖的一個(gè)導(dǎo)出子圖,該子圖中包含選擇的元素對(duì)應(yīng)的頂點(diǎn)以及所有與所選擇的頂點(diǎn)相鄰的頂點(diǎn),以及頂點(diǎn)之間的所有邊;第二種基于可視化的交互式查詢方式,具體是利用鼠標(biāo)同顯示的拓?fù)鋱D元進(jìn)行交互, 以查詢它們所代表的模型元素的詳細(xì)信息,詳細(xì)信息將以數(shù)據(jù)表格的形式返回給用戶,所述的模型元素包括類、實(shí)例和對(duì)象屬性;類的詳細(xì)信息包括類名、類的所有數(shù)據(jù)類型屬性名和類型;實(shí)例的詳細(xì)信息包括實(shí)例的名字、從屬類,以及實(shí)例的所有屬性的名字、類型和取值;對(duì)象屬性的詳細(xì)信息包括類與類之間的關(guān)系。
全文摘要
本發(fā)明提出了一種基于On-the-Fly策略的本體模型生成及管理裝置及方法。裝置包括本體編輯器、模型生成器、模型顯示器和本體查詢器等,用戶通過本體編輯器編輯本體文件,通過模型生成器實(shí)時(shí)生成本體模型,通過模型顯示器顯示本體模型中元素關(guān)系,用戶通過本體查詢器可查詢當(dāng)前本體模型中的關(guān)系。方法通過分析本體文件,將其主要內(nèi)容分為靜態(tài)和動(dòng)態(tài)兩部分,靜態(tài)部分采用自動(dòng)機(jī)提取當(dāng)前本體文件中靜態(tài)信息生成對(duì)應(yīng)模型,動(dòng)態(tài)部分為當(dāng)前本體文件編輯處的文本信息,以O(shè)n-the-Fly的方式在當(dāng)前狀態(tài)處動(dòng)態(tài)地提取和綁定修改賦值,遞進(jìn)地生成模型。本發(fā)明只針對(duì)需要的部分重新構(gòu)建模型,有利于縮短模型生成的時(shí)間,節(jié)約系統(tǒng)資源。
文檔編號(hào)G06F17/24GK102609402SQ201210009400
公開日2012年7月25日 申請(qǐng)日期2012年1月12日 優(yōu)先權(quán)日2012年1月12日
發(fā)明者呂江花, 李睿, 馬世龍 申請(qǐng)人:北京航空航天大學(xué)