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

1、本體在信息處理領域有著非常重要的作用。在過去的幾年里,本體和本體論技術取得了巨大的發(fā)展,如基因本體已經(jīng)發(fā)展到可以跨多個不同的醫(yī)療信息系統(tǒng)實現(xiàn)互操作,其提供了標準的術語和概念,從而實現(xiàn)了多個應用程序之間數(shù)據(jù)的輕松傳輸和交互。然而,隨著語義網(wǎng)的快速發(fā)展,本體異構問題就顯得尤為突出,傳統(tǒng)的本體構建方法面臨著嚴峻的考驗。
　　 為了克服網(wǎng)絡本體異構問題,本文將軟件工程中模塊化的思想引入本體知識庫的構建過程中。模塊化在本體的設計,維護和集

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

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