基于分布式描述邏輯的本體模型化構(gòu)建方法研究.pdf

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è)計,維護(hù)和集

2、成等方面非常重要,如本體的協(xié)同開發(fā),不同本體的集成。模塊化本體更容易實(shí)現(xiàn)本體的推理、擴(kuò)展和重用。不幸的是,相對于其他學(xué)科,如軟件工程中模塊化是一個完善的概念,但模塊化本體構(gòu)建工程仍缺乏一個統(tǒng)一的、標(biāo)準(zhǔn)的模塊化構(gòu)建方法。針對這些問題,在基于分布式描述邏輯的基礎(chǔ)上,本文嘗試探索本體模塊化方法,重點(diǎn)研究了模塊化本體的形式化描述和模塊化本體推理技術(shù)。
　　 首先,本文對目前本體形式化描述語言進(jìn)行簡要的介紹,分析了目前主流本體構(gòu)建語言的優(yōu)

3、缺點(diǎn),重點(diǎn)對模塊化本體構(gòu)建語言的語法特征需求、語義特征需求進(jìn)行詳細(xì)的研究,同時對當(dāng)前比較流行的模塊化本體構(gòu)建語言DDL、E-connections、P-DL進(jìn)行了詳細(xì)的分析,選定DDL作為模塊化本體的形式化描述語言,對其語法、語義進(jìn)行詳細(xì)的闡述。
　　 其次,本文對模塊化本體構(gòu)建框架進(jìn)行了研究。文章分別對模塊化本體的體系結(jié)構(gòu)、模塊化本體模塊間的映射約束、以及模塊化本體推理技術(shù)進(jìn)行了深入研究。
　　 基于以上研究,本文采用