基于本體的極限與配合知識訪問.pdf

1、如何實現(xiàn)幾何產(chǎn)品信息在產(chǎn)品設(shè)計、加工和檢驗的不同階段,在全球范圍同一制造企業(yè)的不同部門間和有合作關(guān)系的不同制造企業(yè)間,以及在涉及這些階段和企業(yè)或部門的異構(gòu)CAx系統(tǒng)之間的便捷傳遞和共享,是當(dāng)前制造業(yè)中一個亟待解決的問題。極限與配合作為新一代GPS的基礎(chǔ)內(nèi)容,其相關(guān)知識的便捷訪問,在解決上述產(chǎn)品信息共享和傳遞問題的工作中,是極為重要的一環(huán)。為此,結(jié)合知識工程的研究成果,使用語義網(wǎng)理論和技術(shù)棧,構(gòu)建極限與配合的本體TBox,在此基礎(chǔ)上設(shè)計基

2、于查詢轉(zhuǎn)換的極限與配合數(shù)據(jù)訪問方法,設(shè)計基于R2R和SPIN的極限與配合知識訪問方法,使得極限與配合知識更易于訪問。具體地,進行的研究工作如下:
　　首先,構(gòu)建了極限與配合本體TBox。分析極限與配合標(biāo)準(zhǔn)中各種概念、概念的結(jié)構(gòu)、概念的特性及概念間關(guān)系,使用具有高效查詢推理效率的描述邏輯DL-LiteA構(gòu)建極限與配合本體TBox,使用基于DL-Lite描述邏輯家族的OWL2 QL對該本體TBox進行編碼,從而構(gòu)造出一個僅包含TBox

3、的極限與配合的OWL本體。該本體是后續(xù)基于本體的極限與配合知識訪問研究的基礎(chǔ)。
　　其次,提出了基于查詢轉(zhuǎn)換的極限與配合數(shù)據(jù)訪問方法。提取關(guān)系型數(shù)據(jù)庫中的極限與配合數(shù)據(jù)的關(guān)系模式,結(jié)合已構(gòu)建的極限與配合本體TBox,分析該本體與該數(shù)據(jù)庫間的對應(yīng)關(guān)系,構(gòu)建基于該關(guān)系的極限與配合本體和極限與配合數(shù)據(jù)庫的映射集,利用該映射集連接前述本體與數(shù)據(jù)庫,通過將極限與配合本體查詢進行重構(gòu)和展開,實現(xiàn)快速的實時的基于本體的極限與配合數(shù)據(jù)訪問。開發(fā)實

4、現(xiàn)該方法的原型系統(tǒng),分別通過簡單數(shù)據(jù)訪問實例和復(fù)雜數(shù)據(jù)訪問實例驗證該方法的可行性和有效性。
　　最后,提出了基于R2R和SPIN的極限與配合知識訪問方法?；谝褬?gòu)建的極限與配合本體TBox,結(jié)合對其與數(shù)據(jù)庫中極限與配合數(shù)據(jù)間對應(yīng)關(guān)系的分析,利用R2RML和Ultrawrap生成了RDF形式的完整的極限與配合本體,將極限與配合中各種計算式和關(guān)系約束轉(zhuǎn)化為RDF形式表示和組織的SPIN規(guī)則和約束,將該SPIN規(guī)則和約束集作為本體的屬性