本體知識庫的完全化過程研究.pdf

1、近幾年來,本體作為知識庫表示知識的主要技術(shù)已經(jīng)成為研究熱點。本體知識庫不僅克服了傳統(tǒng)知識庫的不足和缺陷,還將本體的特點應(yīng)用在表示知識的層面上,有效提高了知識庫的共享與重用。
　　 完全化過程是在邏輯知識庫封閉假設(shè)的前提下,以失敗即否定規(guī)則為依據(jù),對邏輯知識庫中關(guān)于同一關(guān)系的正的單元子句分析合并為等價式的過程。
　　 本文將完全化過程引入本體知識庫,對本體知識庫完全化,不僅豐富了本體知識庫的知識,為知識庫推理增加了新的依據(jù)

2、,還提供了一種新的查詢評價方法。因此,將本體知識庫的完全化過程研究作為本體知識庫的一個研究課題,具有重大的意義。
　　 本文首先介紹了課題的研究背景,總結(jié)了本體的表示方法、表示原則及主要應(yīng)用。其次定義了本體,介紹了知識庫系統(tǒng)及表達方式,并通過歸納本體的特點闡述了將本體引入知識庫的原因,在此基礎(chǔ)上又定義了本體知識庫,并與一般數(shù)據(jù)庫進行了對比。然后介紹了描述邏輯和基于描述邏輯的本體表示語言ALC,舉例說明了ALC表示的本體知識庫。最