袁 滿,劉 峰

0 引 言

本體(Ontology)是語義網(wǎng)知識表示的基礎(chǔ)[1]。W3C在2004年推出標(biāo)準(zhǔn)Web本體語言[2],本體是面向計算機形式化的一種知識表達(dá)與描述框架,擁有形式化語言和開發(fā)工具,具有強大的知識表達(dá)、賦值機制與語義推理能力[3]。不僅可以描述信息資源體系十分復(fù)雜的概念、屬性和關(guān)系,形成語義知識網(wǎng)絡(luò),還能實現(xiàn)具有語義推理功能的知識檢索[4]。因此它可以統(tǒng)一專業(yè)領(lǐng)域內(nèi)各個專業(yè)內(nèi)部的信息術(shù)語,實現(xiàn)各專業(yè)間知識的共享、重用和互操作,解決各系統(tǒng)之間專業(yè)知識使用不一致的情況和應(yīng)用集成難的問題。常用的本體構(gòu)建方法有骨架法、Tove法、五步循環(huán)法和Kactus工程法等。但當(dāng)前本體開發(fā)代價過高的現(xiàn)實一直是制約語義網(wǎng)成功與普及的瓶頸[5]。而且傳統(tǒng)的本體構(gòu)建在抽取關(guān)鍵概念和關(guān)系時,各領(lǐng)域?qū)＜业膮⑴c增加了構(gòu)建領(lǐng)域本體的成本,限制了以領(lǐng)域本體為基礎(chǔ)的語義網(wǎng)的發(fā)展和普及。馬靜等[6]提出“特征詞條本體”的自動構(gòu)建,葉光輝[7]提出基于UML(Unified Modeling Language)的敘詞表轉(zhuǎn)本體方法研究等。如今從現(xiàn)有知識源獲取領(lǐng)域知識、以(半)自動方式學(xué)習(xí)本體,是本體開發(fā)便捷而有效的途徑[8]。

EXPRESS語言是一種規(guī)范化信息建模語言,提供對論域中對象進(jìn)行詳細(xì)描述的一套規(guī)范(或定義)[9,10],以及與對象有關(guān)的信息和約束的描述[11-13]。為對知識進(jìn)行語義層次的共享和交換以及利用現(xiàn)有知識源進(jìn)行本體構(gòu)建,相關(guān)研究人員對EXPRESS向本體的轉(zhuǎn)換進(jìn)行了研究,為實現(xiàn)產(chǎn)品數(shù)據(jù)信息在語義層次的共享和交換問題[14],并提出以EXPRESS作為描述語言的產(chǎn)品數(shù)據(jù)信息的本體表述方法。王歲花等[15]在語義共享方面研究了STEP(Standard for the Exchange of Product Model Data)存在的不足,并給出產(chǎn)品信息描述為OWL(Web Ontology Language)的實例。陳磊等[16]研究了STEP標(biāo)準(zhǔn)和本體OWL語言,給出基于本體的語義互操作框架,實現(xiàn)了產(chǎn)品信息的語義互操作。孟海忠[17]分析了STEP標(biāo)準(zhǔn)和本體OWL語言之間的語義映射規(guī)則,利用AP203的STEPPart21物理文件,構(gòu)建了產(chǎn)品信息的語義轉(zhuǎn)換器,用以解決產(chǎn)品信息的語義共享問題。張開明[18]研究了本體OWL2語言和規(guī)則交換格式RIF(Rule Interchange Format),給出STEP-to-OWL2/RIF映射方法和映射系統(tǒng)框架。建立了STEP標(biāo)準(zhǔn)的描述語言EXPRESS與OWL2/RIF之間的映射關(guān)系,給出STEP AP203文件和OWL文件的轉(zhuǎn)換方法。文獻(xiàn)[15,16]在方法研究上使用早期的本體語言,且沒有給出完整的映射方法和模型。文獻(xiàn)[17]中研究了對STEP標(biāo)準(zhǔn)進(jìn)行OWL/SWRL的描述并給出具體的分析,但是對類之間通用的約束并沒有給出詳細(xì)映射方法。文獻(xiàn)[18]雖然給出了STEP AP203物理文件轉(zhuǎn)換為OWL2文件的具體方法,并對STEP-to-OWL2/RIF映射系統(tǒng)進(jìn)行了理論研究,但沒有利用OWL2語言在糖衣語法上的新特性,例如DisjointClasses表達(dá)類的不相交性等。

以上研究利用現(xiàn)有知識源,進(jìn)行EXPRESS向本體的自動構(gòu)建具有領(lǐng)域和模式的限制。筆者在不依賴領(lǐng)域的前提下,給出以EXPRESS作為描述語言的知識源自動轉(zhuǎn)換生成OWL2本體模型的規(guī)則及算法。

1 EXPRESS向OWL2的映射

EXPRESS是面向?qū)ο蠛突谀Ｊ降恼Z言,Web本體語言O(shè)WL是一種定義和實例化“Web本體”的語言[19],OWL2是W3C于2012年提出的[20],是在OWL1的基礎(chǔ)上對本體語言的擴展,同時在語法上進(jìn)行了改進(jìn),例如糖衣語法等。本體由類、關(guān)系、函數(shù)、公理和實例5個建模元語組成[21]。

EXPRESS和OWL2在某種程度上都有面向?qū)ο蟮乃枷?都建立在概念和關(guān)系之上。對比分析EXPRESS語言的模式和本體5個建模元語,給出EXPRESS和OWL2語言通用概念的形式化定義。針對復(fù)雜定義將在生成后的本體文件中進(jìn)行再處理。

定義1 將EXPRESS語言中抽取的面向?qū)ο蟮耐ㄓ酶拍钚问交癁橐粋€6元組E,定義如下

其中E表示實體(Entity);A表示實體屬性(Entity attribute);R表示實體規(guī)則(Entity rule);F表示實體函數(shù)(Entity function);I表示實體實例(Entity instance);C表示實體約束(Entity Constraint),其中C包含(ONEOF,ANDOR,AND,OPTIONAL,UNIQUE,INVERSE)。

定義2 將OWL2語言中和EXPRESS語言中對應(yīng)的通用概念形式化為一個6元組O,定義如下

其中C表示類(Class);P表示屬性(Property),其中Property包含(ObjectProperty,DataTypeProperty);R表示限制(Restrictions);A表示公理(Axiom);I表示實例(Instance);C′表示約束(Constraint),其中C′包含(DisjointClass,UnionOf,IntersectionOf,ObjectMinCardinality,ObjectExactCardinality,InverseObjectProperty)。

依據(jù)定義1、定義2,EXPRESS語言和OWL2語言通用概念的形式化定義,結(jié)合面向?qū)ο蟮乃枷?給出定義1中的元素和定義2中的元素具體映射的定義。

定義3 映射定義:對于集合E中的元素ei與集合O中的元素oj相對應(yīng),用符號記為f(ei)→oj,其中f表示轉(zhuǎn)換規(guī)則。

下面根據(jù)定義3給出EXPREE向OWL2映射的形式化描述。

1)實體(Entity)映射。

定義4 依據(jù)面向?qū)ο笾袑ο?Object)的概念,定義1的E中實體映射成定義2的O中的類,映射過程如下

其中Entityi表示EXPRESS語言中的實體,Classj表示OWL2語言中的類。

2)屬性(attribute)映射。

定義5 依據(jù)面向?qū)ο笾袑ο髮傩?Object attribute)的概念,定義1的E中實體屬性映射成定義2的O中的屬性,映射過程如下

其中EntityAttributei表示EXPRESS語言中的實體屬性,ObjectPropertyj、DataTypePropertyj表示OWL2語言中的對象屬性和數(shù)據(jù)屬性。

3)規(guī)則(Rule)映射。

定義6 依據(jù)面向?qū)ο笾蟹椒?Method)的概念,定義1的E中實體規(guī)則映射成定義2的O中的公理或限制,映射過程如下

其中EntityRulei表示EXPRESS語言中的實體規(guī)則,Axiomj和Restrictionj表示OWL2語言中的公理和限制。

4)函數(shù)(Function)映射。

定義7 依據(jù)面向?qū)ο笾蟹椒?Method)的概念,定義1的E中實體函數(shù)映射成定義2的O中的類,映射過程如下

其中Entity Functioni表示EXPRESS語言中的實體函數(shù),Classj表示OWL2語言中的類。

5)實例(Instance)映射。

定義8 依據(jù)面向?qū)ο笾袑ο髮嵗?Object instance)的概念,定義1的E中實體實例映射成定義2的O中的實例,映射過程如下

其中EntityInstancei表示EXPRESS語言中的實體實例,Instancej表示OWL2語言中的實例。

6)約束(EntityConstraint)映射。

定義9 依據(jù)面向?qū)ο笾蟹椒?Method)的概念,定義1的E中實體約束映射成定義2的O中的約束,映射過程如下

其中EntityConstrainti表示EXPRESS語言中的實體約束,Constraintj表示OWL2語言中的約束。

①約束(ONEOF)的映射。

定義10 依據(jù)面向?qū)ο笾蟹椒?Method)的概念和定義9,約束C中不相交(ONEOF)約束映射成C′中的不相交(DisjointClass)約束,映射過程如下

其中ONEOFi表示EXPRESS語言中的約束,DisjointClassj表示OWL2語言中的約束。

②約束(ANDOR)的映射。

定義11 依據(jù)面向?qū)ο笾蟹椒?Method)的概念和定義9,約束C中并集(ANDOR)約束映射成C′中的并集(UnionOf)約束,映射過程如下

其中ANDORi表示EXPRESS語言中的約束,UnionOfj表示OWL2語言中的約束。

③約束(AND)的映射。

定義12 依據(jù)面向?qū)ο笾蟹椒?Method)的概念和定義9,約束C中交集(AND)約束映射成C′中的交集(IntersectionOf)約束,映射過程如下

其中ANDi表示EXPRESS語言中的約束,IntersectionOfj表示OWL2語言中的約束。

④約束(OPTIONAL)的映射。

定義13 依據(jù)面向?qū)ο笾蟹椒?Method)的概念和定義9,約束C中可選(OPTIONAL)約束映射成C′中的最小基數(shù)(ObjectMinCardinality)約束,映射過程如下

其中OPTIONALi表示EXPRESS語言中的約束,ObjectMinCardinalityj表示OWL2語言中的約束。

⑤約束(UNIQUE)的映射。

定義14 依據(jù)面向?qū)ο笾蟹椒?Method)的概念和定義9,約束C中唯一(UNIQUE)約束映射成C′中的準(zhǔn)確基數(shù)(ObjectExactCardinality)約束,映射過程如下

其中UNIQUEi表示EXPRESS語言中的約束,ObjectExactCardinalityj表示OWL2語言中的約束。

⑥約束(INVERSE)的映射。

定義15 依據(jù)面向?qū)ο笾蟹椒?Method)的概念和定義9,約束C中逆屬性(INVERSE)約束映射成C′中的逆屬性(InverseObjectProperty)約束,映射過程如下

其中INVERSEi表示EXPRESS語言中的約束,InverseObjectPropertyj表示OWL2語言中的約束。

2 EXPRESS向OWL2的具體轉(zhuǎn)換過程

對OWL2本體模型與EXPRESS模型綜合分析,得出二者轉(zhuǎn)換的規(guī)則。

規(guī)則1 當(dāng)OWL2中存在的核心概念和關(guān)鍵語法能直接匹配EXPRESS語言語義表達(dá)的要求,要優(yōu)先匹配這些概念和語法,同時保證關(guān)鍵語法和語義匹配的一致。

規(guī)則2 當(dāng)OWL2中沒有直接的核心概念或關(guān)鍵語法能夠匹配EXPRESS,可采用構(gòu)造概念和語法的方式進(jìn)行匹配,同時保證關(guān)鍵語法和語義匹配的一致。

規(guī)則3 當(dāng)OWL2中沒有與EXPRESS中對應(yīng)概念或語法相匹配時,而在RDF(Resource Description Framework)和SWRL(Semantic Web Rule Language)中有相關(guān)的定義可以描述,則采用RDF和SWRL相關(guān)語法對其進(jìn)行匹配,同時保證關(guān)鍵語法和語義一致。

規(guī)則4 對于以上3種匹配方法均不能實現(xiàn)或難以實現(xiàn)匹配的情況,均采取原文直譯法。并對轉(zhuǎn)換后的本體采用本體編輯軟件進(jìn)行再處理。

2.1 模式匹配轉(zhuǎn)換

EXPRESS模式包含聲明對象,具體包括常量、實體、類型、函數(shù)、規(guī)則和過程。在OWL2中直接對模式的聲明Schema進(jìn)行表達(dá),根據(jù)轉(zhuǎn)換規(guī)則1,將EXPRESS中的USE和REFERENCE與OWL2中的owl:import進(jìn)行匹配。與EXPRESS不同的是OWL2在定義本體時,需首先對XML命名空間進(jìn)行初始聲明,并將其封裝在rdf:RDF開始標(biāo)記中。

2.2 數(shù)據(jù)類型匹配轉(zhuǎn)換

1)簡單數(shù)據(jù)類型匹配關(guān)系。OWL2標(biāo)準(zhǔn)使用XSD(XML Schema Definition)Language定義的數(shù)據(jù)類型。因此,根據(jù)轉(zhuǎn)換規(guī)則1,EXPRESS中簡單數(shù)據(jù)類型和OWL2中的內(nèi)嵌數(shù)據(jù)類型直接匹配,數(shù)據(jù)類型對應(yīng)關(guān)系如表1所示。

表1 EXPRESS簡單數(shù)據(jù)類型和OWL2的匹配關(guān)系Tab.1 Matching relation of EXPRESSsimple data types and OWL2

2)自定義數(shù)據(jù)類型匹配關(guān)系。自定義數(shù)據(jù)類型使用TYPE語句定義,自定義類型將簡單類型和取值范圍進(jìn)行重新定義,同時給出約束規(guī)則,以方便復(fù)用和擴展。根據(jù)規(guī)則2和規(guī)則4,采用構(gòu)造OWL2類的方式進(jìn)行匹配。將自定義類型的名稱映射為OWL2的類名稱,同時給該類聲明一個數(shù)據(jù)屬性,其值域用來表示取值類型和范圍,命名規(guī)則是簡單類型+_+ndt,定義域就是該類。為分類的方便,將所有的數(shù)據(jù)類型都定義為類ndt_type的子類。

3)枚舉類型匹配關(guān)系。枚舉項所組成的集合是枚舉數(shù)據(jù)類型,根據(jù)規(guī)則1和定義4,OWL2中的關(guān)鍵詞owl∶oneOf可以與之匹配。將EXPRESS中枚舉類型的名稱直接映射轉(zhuǎn)換為OWL2中類的名稱,EXPRESS中枚舉項組成的集合在OWL2中映射轉(zhuǎn)換為由Collection關(guān)鍵字枚舉的個體。

4)選擇數(shù)據(jù)類型匹配關(guān)系。選擇數(shù)據(jù)類型定義一個其他數(shù)據(jù)名稱的集合,該集合稱為選擇表。選擇表中的項是實體數(shù)據(jù)類型或自定義數(shù)據(jù)類型。SELECT數(shù)據(jù)類型的值是類型表中類型之一。在OWL2中沒有直接定義,根據(jù)規(guī)則2,通過構(gòu)造的方式進(jìn)行轉(zhuǎn)換,OWL2中unionOf可以表示并集,對于選擇數(shù)據(jù)類型的選擇表中項的集合通過構(gòu)造owl:unionOf實現(xiàn)轉(zhuǎn)換,對于選擇數(shù)據(jù)類型的取值通過構(gòu)造子類的形式進(jìn)行轉(zhuǎn)換,子類的命名規(guī)則為SELECT_+選擇類型名稱+_type。

5)聚集數(shù)據(jù)類型匹配關(guān)系。聚集(aggregate)數(shù)據(jù)類型是由幾個基本類型元素的集合組成,包括數(shù)組(array)、包(bag)、列表(list)和集合(set)4種數(shù)據(jù)類型。在OWL2中沒有直接與之相對應(yīng)的語法或概念,可通過組合的方式進(jìn)行表達(dá),因此,根據(jù)規(guī)則2和規(guī)則3,采用構(gòu)造的方式進(jìn)行映射。

2.3 實體類型匹配轉(zhuǎn)換

1)實體名稱。EXPRESS中的實體的名稱和OWL2中的類一致,因此,依據(jù)規(guī)則1和定義4,實體的名稱用〈owl ∶Class rdf ∶ID=“實體名稱”〉匹配。

2)實體屬性。EXPRESS中定義的實體屬性為顯示屬性時,其取值可能是具體數(shù)據(jù),也可能是引用了其他的實體類型,根據(jù)規(guī)則1和定義5,筆者分別采用〈owl∶DatatypeProperty rdf∶ID=“has_屬性名”〉和owl∶ObjectProperty rdf∶ID=“has_屬性名”＞匹配。EXPRESS中的INVERSE將屬性聲明為逆屬性,用來描述被聲明實體與其他實體中的一個屬性之間的互逆關(guān)系。根據(jù)規(guī)則1和定義15,利用OWL2中的InverseObjectProperty進(jìn)行匹配。

關(guān)鍵字OPTIONAL用來說明屬性的值可為空值,根據(jù)規(guī)則1和定義13,在OWL2語言中可使用owl∶ObjectMinCardinality關(guān)鍵字匹配,并將最小基數(shù)的值設(shè)為0映射OPTIONAL關(guān)鍵字。

3)唯一性規(guī)則。對于EXPRESS中實體屬性的UNIQUE規(guī)則,根據(jù)規(guī)則1和定義14,在OWL2中,存在owl∶exactCardinality關(guān)鍵字,該關(guān)鍵字能限制OWL2類屬性基數(shù)的上下界,采取將該關(guān)鍵字的值都設(shè)為1以描述唯一性約束。

4)WHERE子句和局部規(guī)則匹配。對實體和實體屬性的約束使用WHERE子句和局部規(guī)則,在SWRL中定義了豐富的謂詞邏輯可以很好地描述這部分信息,因此,根據(jù)規(guī)則3、定義6和定義7,筆者采用SWRL規(guī)則描述WHERE子句和局部規(guī)則。例如,可使用Swrl∶equal表示兩個屬性或規(guī)則表達(dá)式相等。

5)超類與子類。EXPRESS中超類和子類是描述實體分類的層級關(guān)系。在EXPRESS實體中,即包含超類的聲明也包含子類的聲明,但在OWL2中只包括子類的聲明。根據(jù)規(guī)則1,用〈rdfs∶subClassOf〉匹配EXPRESS的實體中的subtype Of,實現(xiàn)超子類的轉(zhuǎn)換。對于EXPRESS中的超類運算符oneOf、andor和and,它們限定了類之間的關(guān)系,根據(jù)定義10～定義12,可將它們和OWL2中的disjointclass、unionOf和intersectionOf進(jìn)行匹配,以約束類之間不相交、并集和補集關(guān)系。

3 自動轉(zhuǎn)換流程及轉(zhuǎn)換算法

3.1 轉(zhuǎn)換流程

根據(jù)上面提出的轉(zhuǎn)換規(guī)則和定義,由EXPRESS模型向OWL2本體模型自動轉(zhuǎn)換的流程為通過文檔預(yù)處理、詞法分析和語法分析以及概念的判斷,實現(xiàn)轉(zhuǎn)換功能并利用Protégé工具對結(jié)果進(jìn)行檢驗。

3.2 自動轉(zhuǎn)換算法

抽取EXPRESS文件中通用的概念、關(guān)系、規(guī)則和約束,其具有模式和語法固定特點,利用詞法分析和語法分析以及關(guān)鍵字匹配的方式可實現(xiàn)將EXPRESS轉(zhuǎn)換生成OWL2文件,處理的主要流程包括文檔預(yù)處理、詞法分析、語法分析、數(shù)據(jù)類型與實體轉(zhuǎn)換,最后用Protégé本體工具對本體的合法性進(jìn)行檢測。下面給出具體的轉(zhuǎn)換算法。

1)EXPRESS文件的詞法分析。EXPRESS文件的詞法分析要求轉(zhuǎn)換工具剔除空格,讀取輸入的每個字符,對讀入的內(nèi)容進(jìn)行關(guān)鍵字符匹配分類、特殊標(biāo)點符號分類和語義解析,具體算法如下。

算法1 剔除空格和語義解析流程算法。

Input:讀取EXPRESS文件

Output:詞法分析后的文件

Algorithm:

if(character is blank)//判斷是否為空格

do nothing;

else if(character input)//讀取非空格的字符,并對關(guān)鍵字符進(jìn)行匹配分類

{將讀取的字符進(jìn)行分析,對特殊的標(biāo)點符號以及關(guān)鍵字進(jìn)行分類處理}

2)語法分析與映射轉(zhuǎn)換。語法分析就是針對詞法分析的結(jié)果,按照關(guān)鍵字的類型以及映射轉(zhuǎn)換的匹配關(guān)系和轉(zhuǎn)換原則進(jìn)行轉(zhuǎn)換,包括實體類型和數(shù)據(jù)類型的轉(zhuǎn)換,具體轉(zhuǎn)換算法如下。

①實體類型的轉(zhuǎn)換。

算法2 實體類型轉(zhuǎn)換算法。

Input:詞法分析后的文件

Output:EXPRESS實體類型對應(yīng)的OWL2文件

Algorithm:

for(int i=0;i＜express.length;i++){//遍歷EXPRESS文件中的實體

if(實體繼承了父類)

{提取實體名轉(zhuǎn)換成OWL2中的類,同時判斷存放父類名的數(shù)組A是否存在該實體,不存在則轉(zhuǎn)換生成OWL2中的類;

依據(jù)“:”,提取屬性名和對應(yīng)類型,同時轉(zhuǎn)換生成OWL2中的屬性,定義域為實體名,值域為對應(yīng)的類型名}

else://實體沒有繼承關(guān)系

{提取實體名轉(zhuǎn)換生成OWL2中的類,依據(jù)“:”,提取屬性名和對應(yīng)的類型,同時轉(zhuǎn)換生成OWL2中的屬性,定義域為實體名,值域為對應(yīng)的類型名}

}//結(jié)束

②數(shù)據(jù)類型的轉(zhuǎn)換。

算法3 數(shù)據(jù)類型轉(zhuǎn)換算法。

Input:詞法分析后的文件

Output:EXPRESS自定義數(shù)據(jù)類型對應(yīng)的OWL2文件

Algorithm:

for(type in items){//遍歷EXPRESS文件中的類型實體

if(character=“=”)//利用等號進(jìn)行判斷

{等號左側(cè)為類型的名稱,轉(zhuǎn)換為OWL2中的類

if(讀取的類型是簡單類型)

{按照簡單類型轉(zhuǎn)換規(guī)則進(jìn)行轉(zhuǎn)換}

else if(讀取的類型是選擇類型)

{按照選擇類型轉(zhuǎn)換規(guī)則進(jìn)行轉(zhuǎn)換}

else if(讀取的類型是自定義類型)

{按照自定義類型轉(zhuǎn)換規(guī)則進(jìn)行轉(zhuǎn)換}

else if(讀取的類型是枚舉類型)

{按照枚舉類型轉(zhuǎn)換規(guī)則進(jìn)行轉(zhuǎn)換}

else

{按照聚集類型轉(zhuǎn)換規(guī)則進(jìn)行轉(zhuǎn)換}

}//結(jié)束

4 原型系統(tǒng)實現(xiàn)

上世紀(jì)80年代末期,為實現(xiàn)石油領(lǐng)域信息共享,國際石油領(lǐng)域和?？松梨诠镜?家石油大公司聯(lián)合成立了POSC石油組織,構(gòu)建了全球石油領(lǐng)域勘探與開發(fā)一體化上游數(shù)據(jù)模型標(biāo)準(zhǔn)——Epicentre,并采用擴充后的EXPRESS描述該數(shù)據(jù)模型。Epicentre定義了1 479個實體,其中抽象實體是115個、75條Where規(guī)則、自定義數(shù)據(jù)類型337個。石油領(lǐng)域本體將是石油領(lǐng)域下一代語義標(biāo)準(zhǔn)的基礎(chǔ),利用筆者提出轉(zhuǎn)換規(guī)則轉(zhuǎn)換算法設(shè)計并開發(fā)了本體轉(zhuǎn)換系統(tǒng),文件轉(zhuǎn)換通過上傳EXPRESS文件實現(xiàn)轉(zhuǎn)換生成OWL2文件,實體轉(zhuǎn)換和類型轉(zhuǎn)換都是在線輸入轉(zhuǎn)換,具體功能如圖1所示,并用Epicentre對本體轉(zhuǎn)換功能進(jìn)行了驗證。

圖1 實體轉(zhuǎn)換模塊功能Fig.1 Entity conversion module function

筆者采用Python語言[22]及flask框架結(jié)合編譯原理的知識設(shè)計開發(fā)了EXPRESS自動轉(zhuǎn)換為OWL2的轉(zhuǎn)換工具,主要包含文件轉(zhuǎn)換、實體轉(zhuǎn)換、類型轉(zhuǎn)換、查看文件和轉(zhuǎn)換日志5個模塊。轉(zhuǎn)換后的本體在Protégé中的OWL Viz展示如圖2所示。

圖2 Epicentre模型的部分OWL Viz圖Fig.2 Partial OWL Viz diagram of Epicentre model

同時采用Jena推理機,對轉(zhuǎn)換后的OWL文件進(jìn)行驗證,按照Epicentre模型標(biāo)準(zhǔn)建立推理規(guī)則,對推理規(guī)則的準(zhǔn)確性驗證、OWL文件中類和屬性的數(shù)量以及和Epicentre模型的對應(yīng)關(guān)系驗證該轉(zhuǎn)換研究的完整性和一致性。下面給出部分推理規(guī)則和推理實例結(jié)果。如圖3和圖4所示。類well中對象屬性has_pty_economic_water_cut_limit和類pty_economic_water_cut_limit中對象屬性has_well互為逆屬性,建立類pty_economic_water_cut_limit的實例waterLimit1,實例waterLimit1通過對象屬性has_well關(guān)聯(lián)到類well的實例well1,依據(jù)規(guī)則1就可推理出實例well1通過對象屬性has_pty_economic_water_cut_limit關(guān)聯(lián)到實例waterLimit1。類well通過對象屬性has_wellbore關(guān)聯(lián)到類wellbore,類wellbore通過對象屬性has_pty_fluid_level關(guān)聯(lián)到類pty_fluid_level,依據(jù)規(guī)則2,實例well1也可通過對象屬性has_pty_fluid_level關(guān)聯(lián)到實例pty_fluid_level_instance。該推理的結(jié)果的正確性說明了轉(zhuǎn)換的準(zhǔn)確性和一致性。

圖3 Jena推理規(guī)則Fig.3 Jena inference rule

圖4 Jena推理結(jié)果Fig.4 Jena inference results

5 結(jié) 語

筆者在不依賴傳統(tǒng)的本體構(gòu)建方法和領(lǐng)域?qū)＜規(guī)椭那闆r下,利用OWL2語言和EXPRESS語言面向?qū)ο蟮奶攸c,給出了EXPRESS語言向本體描述語言O(shè)WL2的通用轉(zhuǎn)換規(guī)則。即對EXPRESS語言中通用的概念、屬性、類型和關(guān)系都給出了通用的映射定義和轉(zhuǎn)換規(guī)則的形式化,同時定義并設(shè)計了實現(xiàn)兩種語言自動轉(zhuǎn)換算法。該映射定義、轉(zhuǎn)換規(guī)則和轉(zhuǎn)換算法不受領(lǐng)域限制,具有通用性和實用性。在此基礎(chǔ)上,設(shè)計并開發(fā)了通用的自動轉(zhuǎn)換工具,大大減少了在本體構(gòu)建過程中依賴領(lǐng)域?qū)＜业娜秉c以及人力、物力的耗費,并利用Epicentre模型驗證了轉(zhuǎn)換規(guī)則和轉(zhuǎn)換工具的可行性。筆者自動構(gòu)建了石油領(lǐng)域的勘探開發(fā)本體模型,該本體模型目前在石油開發(fā)領(lǐng)域的知識描述項目中得到了初步應(yīng)用,其他采用EXPRESS建模的領(lǐng)域可采用文中的研究成果實現(xiàn)向本體OWL2的自動轉(zhuǎn)換,該成果具有普適性。下一步,將應(yīng)用該成果在知識管理、語義檢索和推理等領(lǐng)域進(jìn)行更深入的研究。

[1]SHADBOLT N,BERNERSLEE T.The Semantic Web Revisited[J].IEEE Intelligent Systems,2006,21(3):96-101.

[2]MAEDCHE A,STAAB S.Ontology Learning for the Semantic Web[J].IEEE Intelligent Systems,2001,16(2):72-79.

[3]戎軍濤.基于本體的學(xué)科知識門戶語義檢索機制研究[J].情報科學(xué),2016,34(6):47-51,62.RONG Juntao.Research on Ontology Based Semantic Retrieval Mechanism of Subject Knowledge Portal[J].Information Science,2016,34(6):47-51,62.

[4]成錦暉,鄭山紅.本體領(lǐng)域綜合概念相似度計算中的權(quán)重確定方法 [J].吉林大學(xué)學(xué)報:理學(xué)版,2014,52(6):1272-1276.CHENG Jinhui,ZHENG Shanhong.Method of Weight Determination in Conceptual Similarity Computation of Ontology Domain[J].Journal of Jilin University:Science Edition,2014,52(6):1272-1276.

[5]Object Management Group.Unified Modeling Language Super Structure Specification,V2.0[EB/OL].(2005-04-04)[2017-01-15].http://www.omg.org/does/formal/05-07-04.pdf.

[6]馬靜,何雪楓,簡旭文.動態(tài)熱門話題的“特征詞條本體”自動構(gòu)建與進(jìn)化研究 [J].現(xiàn)代圖書情報技術(shù),2016,12(10):33-41.MA Jing,HE Xuefeng,JIAN Xuwen.A Study on the Automatic Construction and Evolution of Feature Term Ontology in Dynamic Hot Topics[J].New Technology of Library and Information Service,2016,12(10):33-41.

[7]葉光輝.基于UML的敘詞表轉(zhuǎn)本體方法研究[J].圖書館雜志,2014,33(7):28-33,18.YE Guanghui.Research on Ontology Conversion Method Based on UML[J].Library Journal,2014,33(7):28-33,18.

[8]LI Yukun,MENG Xiaofeng.Research on Personal Dataspace Management[C]∥Proc of ACM S1GMOD Int Conf on Management of Data.New York:S1GMOD 2008,2008:7-12.

[9]賀海濤,鄭山紅.基于中文文本的疾病領(lǐng)域本體學(xué)習(xí)的研究[J].吉林大學(xué)學(xué)報:信息科學(xué)版,2014,32(1):76-81.HE Haitao,ZHENG Shanhong.Study on Disease Domain Ontology Learning Based on Chinese Text[J].Journal of Jilin University:Information Science Edition,2014,32(1):76-81.

[10]KOLAITISP.XML Schema Mappings,Data Exchange,and Meta Data Management[C]∥PODSSymposium on Principles of Database Systems.New York:ACM,2005:61-75.

[11]LENZERINI M.Data Integration:A Theoretical Perspective[C]∥SIGMOD ACM SIGMOD International Conference on Management of Data.New York:ACM Press,2002:233-246.

[12]HRISTIDISV,GRAVANOL,PAPAKONSTANTINOUY.Efticicnt IR-Style Keyword Search over Relational Databases[C]∥VLDB International Conference on Very Large Data Bases.New York:ACM Press,2003:850-861.

[13]BHALOTIA G,HULGCRI A,NAKHC C,et al.Keyword Searching and Browsing in Databases Using BANKS[C]∥ICDE International Conference on Data Engineering.Dallas:IEEE Computer Society,2002:431-440.

[14]QIU F,CHO J.Automatic Identification of User Interest for Personalized Search[C]∥SIGCOMM Special Interest Group on Data Communication.New York:ACM Press,2006:727-736.

[15]王歲花,閆林.Web本體語言O(shè)WL及在產(chǎn)品信息表達(dá)中的應(yīng)用[J].計算機應(yīng)用與軟件,2007,24(9):33-36.WANG Suihua,YAN Lin.Web Ontology Language OWL and Its Application in Product Information Expression[J].Computer Applications and Software,2007,24(9):33-36.

[16]陳磊,葉修梓,潘翔,等.基于本體的產(chǎn)品數(shù)據(jù)語義互操作[J].計算機集成制造系統(tǒng),2008,14(4):821-828.CHEN Lei,YE Xiuzi,PAN Xiang,et al.Ontology Based Semantic Interoperability of Product Data[J].Computer Integrated Manufacturing System,2008,14(4):821-828.

[17]孟海忠.基于OWL的STEP產(chǎn)品信息語義轉(zhuǎn)換器設(shè)計與實現(xiàn) [D].杭州:浙江工業(yè)大學(xué)計算機科學(xué)與技術(shù)學(xué)院,2011:12-13.MENG Haizhong.Design and Implementation of STEP Product Information Semantic Converter Based on OWL[D].Hangzhou:College of Computer Science and Technology,Zhejiang University of Technology,2011:12-13.

[18]張開明.SETP轉(zhuǎn)換為語義Web本體的研究[D].哈爾濱:哈爾濱工程大學(xué)機電工程學(xué)院,2013:27-28.ZHANG Kaiming.Research on SETPConversion to Semantic Web Ontology[D].Harbin:School of Mechanical and Electrical Engineering,Harbin Engineering University,2013:27-28.

[19]PATEL SCHNEIDER P,HAYES P,HORROCKS I.OWL Web Ontology Language Semantics and Abstract Syntax.W3C Recommendation[EB/OL].(2004-02-10)[2009-03-14].http:∥www.w3.org/TR/owl-sementics/.

[20]CHRISTINE GOLBREICH.OWL 2 Web Ontology Language New Features and Rationale(Second Edition)[EB/OL].(2012-02-10)[2013-03-14].http:∥www.w3.org/TR/owl2-new-features/.

[21]張曉丹,李靜,張秋霞,等.語義Web本體語言O(shè)WL2研究[J].電子設(shè)計工程,2015,23(16):28-31.ZHANG Xiaodan,LI Jing,ZHANG Qiuxia,et al.Research on Semantic Web Ontology Language OWL2[J].Electronic Design Engineering,2015,23(16):28-31.

[22]康計良.Python語言的可視化編程環(huán)境的設(shè)計與實現(xiàn)[D].西安:西安電子科技大學(xué)計算機科學(xué)與技術(shù)學(xué)院,2012:21-22.KANG Jiliang.Design and Implementation of Visual Programming Environment for Python Language[D].Xi'an:College of Computer Science and Technology,Xi'an Electronic and Science University,2012:21-22.