基于MDA的本體建模方法研究.pdf

1、本體作為一種重要的知識(shí)表示形式，已經(jīng)逐步從理論研究走向?qū)嶋H應(yīng)用領(lǐng)域。傳統(tǒng)的本體建模語(yǔ)言采用人工智能領(lǐng)域的形式化語(yǔ)言，較為抽象而且應(yīng)用范圍狹窄，不完全適合實(shí)際應(yīng)用的需要。目前較常用的本體開發(fā)工具開發(fā)效率較低，難以支持本體模型中的知識(shí)動(dòng)態(tài)更新。為了解決以上這些問題，學(xué)者們提出將UML用于本體的建模。 MDA定義的元對(duì)象機(jī)制可以有效的擴(kuò)展UML的建模元素。SWRL是一種本體描述語(yǔ)言，較好的支持了本體公理集中的一般性的規(guī)則。本文在它們

2、的基礎(chǔ)上，研究利用UML對(duì)本體進(jìn)行可視化建模的方法。 本文基于MDA對(duì)本體公理集中的規(guī)則提出了一種較為有效的建模方法，為規(guī)則模型給出了基于描述邏輯的形式化方法。首先為SWRL提出了一種改進(jìn)的元模型，它包含了基本的本體建模元語(yǔ)的圖形化建模元素。其中主要的工作是構(gòu)造了邏輯運(yùn)算符的建模元素，用以連接并區(qū)分規(guī)則模型中不同的rdfs：Property和Individual。進(jìn)而為規(guī)則設(shè)計(jì)了基于UML profile的建模機(jī)制。從而解決了前