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

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

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

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

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

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