基于本體的極限與配合知識(shí)訪問(wèn).pdf

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

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

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

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