資源描述:
《基于分布式描述邏輯的本體模型化構(gòu)建方法研究》由會員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、摘要本體在信息處理領(lǐng)域有著非常重要的作用。在過去的幾年里,本體和本體論技術(shù)取得了巨大的發(fā)展,如基因本體已經(jīng)發(fā)展到可以跨多個不同的醫(yī)療信息系統(tǒng)實(shí)現(xiàn)互操作,其提供了標(biāo)準(zhǔn)的術(shù)語和概念,從而實(shí)現(xiàn)了多個應(yīng)用程序之間數(shù)據(jù)的輕松傳輸和交互。然而,隨著語義網(wǎng)的快速發(fā)展,本體異構(gòu)問題就顯得尤為突出,傳統(tǒng)的本體構(gòu)建方法面臨著嚴(yán)峻的考驗(yàn)。為了克服網(wǎng)絡(luò)本體異構(gòu)問題,本文將軟件工程中模塊化的思想引入本體知識庫的構(gòu)建過程中。模塊化在本體的設(shè)計(jì),維護(hù)和集成等方面非常重要,如本體的協(xié)同開發(fā),不同本體的集成。模塊化本體更容易實(shí)現(xiàn)本體的推理、
2、擴(kuò)展和重用.不幸的是,相對于其他學(xué)科,如軟件工程中模塊化是一個完善的概念,但模塊化本體構(gòu)建工程仍缺乏一個統(tǒng)一的、標(biāo)準(zhǔn)的模塊化構(gòu)建方法。針對這些問題,在基于分布式描述邏輯的基礎(chǔ)上,本文嘗試探索本體模塊化方法,重點(diǎn)研究了模塊化本體的形式化描述和模塊化本體推理技術(shù)。首先,本文對目前本體形式化描述語言進(jìn)行簡要的介紹,分析了目前主流本體構(gòu)建語言的優(yōu)缺點(diǎn),重點(diǎn)對模塊化本體構(gòu)建語言的語法特征需求、語義特征需求進(jìn)行詳細(xì)的研究,同時對當(dāng)前比較流行的模塊化本體構(gòu)建語言DDL、E-oonnections、P-DL進(jìn)行了詳細(xì)的分析
3、,選定DDL作為模塊化本體的形式化描述語言,對其語法、語義進(jìn)行詳細(xì)的闡述。其次,本文對模塊化本體構(gòu)建框架進(jìn)行了研究。文章分別對模塊化本體的體系結(jié)構(gòu)、模塊化本體模塊間的映射約束、以及模塊化本體推理技術(shù)進(jìn)行了深入研究?;谝陨涎芯?,本文采用DRAGO(DistributedReasoningArohitectureforaGalaxyofOntologies)推理系統(tǒng)對模塊化本體構(gòu)建方法進(jìn)行嘗試性探索,并結(jié)合目前現(xiàn)有本體,對本構(gòu)建方法的有效性進(jìn)行了驗(yàn)證,更確切的說,就是通過實(shí)驗(yàn)重點(diǎn)驗(yàn)證本方法推理的有效性。最后,
4、對本論文進(jìn)行總結(jié),討論與本課題相關(guān)工作,對本理論研究前景進(jìn)行展望。關(guān)鍵詞:模塊化本體,DRAGO算法,描述邏輯,DDLABSTRACTOntologypalysaveryimportantroleinthefieldofinformationlXO∞ssin8.Inthepastyc躺,ontologyuditstechnologyhavemadetremendousdevelopment,takinggeneticontologyalaexample,gcne&ontologyhastheabilityt
5、orealizetheinteroperationsbetweendifferentmedicalinformationmanagementsystems.Itiseasytoexclumgedataamongdisparateapplications.Asthesemanticwebhasmaderapidprograss,however,heterogeneousontologyisincreasinglybecomingp∞blematic,traditionalconstructingmethodU
6、OWfacesSO-Werechallenge.Toovefconletheproblemofheterogeneityforwebontology,wewillintroducemodularizationwhichhadbeenwidelyadoptedins01.a(chǎn)reengineeringintotheconstructionofontology.Themodularizationisveryimportantindesign,maintenanceandintegrationaspectsfort
7、heconstructionofontology,such鼬thecollaborativedevelopmentofontology,differentontologyintegration.Modularexpressionismoreeasiertounderstand,reason,expansionandraBe.Unfortunately,comparedtoothcfsebjectssucha。softwareengineering,theresearchofmodularizationisp
8、erfect,butthemodularontologyengineeringisstilllackof811effective,clearconceptFortheseproblems,thearticletrytoresearchonthemethodof00mtruotionofmodularontologybasedondistributeddescriptionlogic,focusingonthefo