1、本體是對特定領域中的概念及其相互之間關系的形式化表達。在本體中，用概念來表示構成相關領域詞匯的基本術語，概念與概念之間的關聯(lián)用關系(relation)描述。關系可以分為兩類：分類(taxonomic)關系和非分類(non-taxonomic)關系。分類關系表示概念與概念之間的父類、子類等上下位的層次關系。非分類關系則表示除了上下位層次關系以外的其它關系。
　　 由于分類關系滿足傳遞性，概念可以依據(jù)分類關系組成層次狀的概念分類體系

2、(taxonomy)。利用概念分類體系，可以進行有關概念的推理：判定概念的可滿足性和包含性。非分類關系則增強了本體知識表達的完備性和復雜性。增加了非分類關系之后，本體就從概念分類體系上升為詞典、概念模型和邏輯理論(logical theory)。因此，對本體中非分類關系的理論體系進行研究有著重要的理論意義。
　　 非分類關系分為兩大類：部分整體關系和屬性關系。
　　 我們把部分整體(Part-Whole)關系簡稱為PW關

3、系。PW關系表示的是整體概念和部分概念之間的組成關系。如果PW關系滿足傳遞性，概念可以依據(jù)PW關系組成層次狀的部分整體結(jié)構(partonomy)。部分整體結(jié)構描述了整體，部分，組成部分的部分之間的組成關系。利用部分整體結(jié)構可以進行類似概念分類體系的推理。因PW關系的傳遞性具有歧義性，為在本體中能利用PW關系進行推理，需要有一個準確的、形式化的、并能判斷某類PW關系是否滿足傳遞性的邏輯體系。眾多的屬性組成了概念的內(nèi)涵，屬性關系表達了某個概

4、念是另外一個概念的屬性。因此，在計算概念間相似度時，需要考慮屬性關系的影響。
　　 本文的研究分別討論了PW關系的傳遞性問題和屬性關系對本體中概念間相似度計算的影響。
　　 本文主要貢獻如下：
　　 1.提出了語義約束是影響PW關系傳遞性的決定因素的理論語義的多樣性造成了PW關系傳遞性的不確定。PW子關系是具有了特定語義的PW關系，是在PW關系上添加了語義約束。語義約束是影響PW子關系傳遞性的決定因素。研究發(fā)現(xiàn)，

5、功能約束、質(zhì)地約束和依賴約束不會直接影響到PW子關系傳遞性。而PW關系的定義域和值域間的關聯(lián)(我們定義為域約束)會對PW子關系的傳遞性產(chǎn)生影響：不滿足域約束的PW子關系必然不滿足傳遞性。利用域約束對PW關系進行再細分，得到一個PW關系的分類體系。利用該分類體系可以檢測PW關系的角色可滿足性和域兼容性。
　　 2.提出了關于不同語義的PW子關系合成的理論體系語義約束會影響到不同語義PW子關系的合成。根據(jù)域約束判斷不同語義的PW子關

6、系是否具有合成的可能性。根據(jù)功能約束、質(zhì)地約束和依賴約束判斷合成的傳遞性、判定合成后的PW關系的具體語義。簡而言之，不同語義的PW子關系的合成有不同的結(jié)論：有的滿足傳遞性，有的在某些限定條件下滿足傳遞性，有的不滿足傳遞性，有的在語義上沒有討論的意義。這些結(jié)論可以作為本體中的公理(axioms)，成為邏輯推理的基礎。
　　 3.提出了一個本體中概念間相似度的計算方法——內(nèi)涵相似度(ISBC，Intension Similarity

7、 Between Concepts)本體中概念間的相似度計算是對概念之間相似性的定量表示。為了區(qū)分概念間的相似性和相關性，將本體劃分成不同的視圖，相似度計算只有在同一個視圖內(nèi)進行才具有實際意義。概念與概念之間的關聯(lián)有分類關系和非分類關系兩種。分類關系提供了概念之間的泛化-特化信息，是進行相似度計算的主要依據(jù)。利用PW關系進行概念特化，可以修正分類關系。屬性關系則提供了概念的內(nèi)涵信息，對概念間的相似度計算起輔助作用。ISBC方法考慮了屬性