基于描述邏輯的概念建模研究.pdf

1、本文首先簡單回顧概念化模型的目的和歷史，并用超市系統(tǒng)為例闡述：用描述邏輯作為工具介紹概念化模型的方法，其中包括了一般性的以對象為中心的模型思想,以及本體的問題:個(gè)體的特性，概念的特殊化，非二元關(guān)系，物質(zhì)化，部分-整體關(guān)系。 另外,在目前已實(shí)現(xiàn)的描述邏輯推理系統(tǒng)（如Pellet、FaCT++、Racer等）中都給出了強(qiáng)制規(guī)定：描述邏輯知識庫的Tbox中不允許出現(xiàn)循環(huán)定義。但在描述邏輯的許多實(shí)際應(yīng)用中，循環(huán)定義是不可避免的。當(dāng)一個(gè)T

2、box中的含循環(huán)的公理都比較簡單,而且具有很好的現(xiàn)實(shí)意義時(shí),我們考慮用一些比較簡單的方法去找到它的模型是可行的,本文對些問題進(jìn)行了解決。循環(huán)的ALCN-terminology分為在其中出現(xiàn)和不在其中出現(xiàn)兩種情況,如果沒有在其中出現(xiàn)，則對其中不同情況的循環(huán)定義我們分別進(jìn)行了討論,得出其模型的構(gòu)造方法,并對所給出的方法的可靠性和完全性進(jìn)行了證明。 本文的具體安排如下： 第一章緒論，介紹了概念模型產(chǎn)生的背景，以及概念模型的抽象

3、機(jī)制，扼要介紹了描述邏輯的優(yōu)點(diǎn)，并提出對描述邏輯中循環(huán)的模型研究的意義。 第二章概念建模討論，用超市系統(tǒng)以及其它諸多例子闡述：描述邏輯作為工具的概念化模型方法，闡述了大多數(shù)建模時(shí)需要注意的問題，其中包括了一般性的以對象為中心的模型思想，涉及本體論方面的問題的細(xì)致闡述。 2.1. 基本的描述邏輯概念模型，包括建模的基本思想，以及個(gè)體、角色、角色逆、函數(shù)、概念實(shí)例的共同性質(zhì)等的建模。 2.2. 如何確定模型中的個(gè)體，

4、從個(gè)體的特性，身份識別，論域的不同，區(qū)別個(gè)體值和個(gè)體對象，區(qū)別個(gè)體和個(gè)體的指稱等方面對個(gè)體進(jìn)行詳細(xì)闡述。 2.3. 從概念的特性闡明模型概念及概念的性質(zhì)時(shí)應(yīng)注意的問題。 2.4. 闡述模型下位概念的不相交，概念的覆蓋，概念的劃分。 2.5. 簡要介紹概念中動(dòng)態(tài)的成員資格。 2.6. 下位概念的層次結(jié)構(gòu)，介紹從本體論尺度上對概念進(jìn)行分類的方面。 2.7. 闡述概念模型中的關(guān)系建模，包括關(guān)于關(guān)系的約束

5、，具體化關(guān)系，角色的層次。 2.8. 闡述概念模型中關(guān)于本體論方面的關(guān)系建模，包括關(guān)系角色的一個(gè)細(xì)小而重要的區(qū)別，即可能在關(guān)系中參與的對象和實(shí)際上真正參與一個(gè)或多個(gè)關(guān)系的對象之間的區(qū)別，并詳細(xì)闡述了物質(zhì)化，部分－整體關(guān)系。 2.9.提出一個(gè)概念建模的方法，以使建模過程中有較為正確的觀念和明確的思路。 第三章描述邏輯系統(tǒng)理論框架。 3.1.系統(tǒng)地闡明了作為概念模型的工具描述邏輯系統(tǒng)的理論框架。 3.