使用數(shù)據(jù)庫構(gòu)建本體

1、關(guān)系模型向本體模型的轉(zhuǎn)換研究本體的相關(guān)知識.本體概念：概念化的明確的規(guī)范說明，共享概念模型的明確形式化規(guī)范說明(2).本體特性：概念化，明確化，形式化，共享.構(gòu)建本體的目標(biāo)是：捕獲相關(guān)的領(lǐng)域知識，提供對該領(lǐng)域知識的共同理解，確定該領(lǐng)域 內(nèi)共同認(rèn)可的概念術(shù)語，并利用形式化的手段給出這些概念術(shù)語及其之間互相聯(lián)系的明確定 義。本體的形式化表示：O=(C,R,I,A)其中：C：概念集合I：實例集合R：聯(lián)系集合A：公理集合本體建模本體建模工具：protege基于web的本體語言：RDF,RDFS,OIL,DAML,OWL這些語言都以XML語言為基礎(chǔ)關(guān)系模型本體構(gòu)建方法關(guān)系幻傳庫初始本怵門司構(gòu)注M關(guān)系悝式

2、交件關(guān)系模式抽取部介定丈關(guān)系模式丈件抽取美案糧試定件.通過M-Graph發(fā)挹洛義通過M-Graph發(fā)掘語義數(shù)也庫到OWL本體的映則初始本體H標(biāo).木體目標(biāo)本體侃伴:缶竺 初始本體的合并頸域規(guī)則的補(bǔ)充首先從數(shù)據(jù)庫出發(fā)，經(jīng)過關(guān)系模式抽取過程得到關(guān)系數(shù)據(jù)庫的關(guān)系模式文件；然后將得到的關(guān)系模式文件自動映射到本體中，得到了 初始本體；最后，把得到的初始本體進(jìn)行合并，結(jié)合領(lǐng)域本體構(gòu)建過程，最終構(gòu)建出目 標(biāo)本體。一種將關(guān)系模型轉(zhuǎn)換為OWL本體的方法首先，表要符合3NF，定義本體模型為一個七元組，O=(C,AC,R,AR,H,I,X),其中C是概念(Concept)的集合；AC是概念的屬性(Attribute)

3、的集 合；R是關(guān)系(Relation)的集合；AR是關(guān)系屬性的集合；H是表示層次的集合；I是實例(Instance)的集合；X是公理(Axiom)的集合。定義數(shù)據(jù)庫模式為一個六元組，S=(ET,RT,C,D,H,R)，其中 ET 是實體表(Entity Table)的集合，RT 是關(guān)系表(Relation Table) 的集合，C是表中的列(Column)的集合，D是數(shù)據(jù)類型(Datatype)的集合，H是表中記錄(Tuple) 的集合，R是約束(Restriction)的集合。定義符號表示：用T表示數(shù)據(jù)庫中的一個表，表中的每一列又稱為表的屬性，記為Ai，于是數(shù)據(jù)庫中的表 可以記為T(A1,

4、2,An )。T.tET表示t是T的一個元組，即表中的一條記錄，而tAi則 表示在元組t中屬性Ai對應(yīng)的取值attr(T),返回表T中的所有屬性，顯然，有Aiattr(T)總成立；pkey(T),返回表T中的主鍵，顯然，有pkey(T)哿attr(T)總成立;fkey(T),返回表T中的外鍵，同樣的，有pkey(T)哿attr(T)總成立。以下面的數(shù)據(jù)表為例：Table NaiimSchema.Aullior.Aid ini. Aruiinr String,boolean = Ai；ge ini. Achy StringPublislierPikiii* Siring. Pritv Siring. Paddisi Siring. PphoiK StringBookISBN ini.Siring. Price floatWritE_hyISBN ink Aid iniPublish_byISBN ini. Pikime Siring. Piilnrar ini. voliinM iniBonikiisrlllRN iiit. volm