国产日韩欧美一区二区三区三州_亚洲少妇熟女av_久久久久亚洲av国产精品_波多野结衣网站一区二区_亚洲欧美色片在线91_国产亚洲精品精品国产优播av_日本一区二区三区波多野结衣 _久久国产av不卡

?

OWL本體在關(guān)系數(shù)據(jù)庫中的存儲方法研究

2015-12-01 02:36毛金玲
中國科技縱橫 2015年7期
關(guān)鍵詞:關(guān)系數(shù)據(jù)庫數(shù)據(jù)類型公理

毛金玲

(遼寧建筑職業(yè)學(xué)院,遼寧遼陽 111000)

OWL本體在關(guān)系數(shù)據(jù)庫中的存儲方法研究

毛金玲

(遼寧建筑職業(yè)學(xué)院,遼寧遼陽 111000)

本文給出了OWL本體的形式化定義,對OWL語言的抽象語法、相應(yīng)的語義按照表格的方式予以說明。本章的核心內(nèi)容是OWL 本體在關(guān)系型數(shù)據(jù)庫中的存儲方法,設(shè)計了映射轉(zhuǎn)化后的關(guān)系數(shù)據(jù)庫中的基本表的結(jié)構(gòu),最后對OWL語言中的類、數(shù)據(jù)類型屬性、對象屬性和個體的映射規(guī)則進(jìn)行了規(guī)范說明。

OWL本體 關(guān)系數(shù)據(jù)庫 存儲方法

1 OWL本體的形式化定義

一個本體的形式化定義為{I,OP,OPE,DP,DPE,C,CE,DT,DR,a,lt,F(xiàn)},可以看出,一個本體包括以下部分:I表示個體的集合,集合中的每個個體都可能是一個抽象或具體域個體;OP表示一個對象屬性;OPE表示一個對象屬性的表達(dá)式;DP表示數(shù)據(jù)屬性;DPE表示數(shù)據(jù)屬性的表達(dá)式;C表示一個類;CE表示一個類的表達(dá)式;DT表示一個數(shù)據(jù)類型;DR表示數(shù)據(jù)范圍;a表示一個個體;lt表示文本; F表示約束面。OWL本體的完全語法規(guī)則(即OWL抽象語法以及對應(yīng)的語義)包括鍵公理、類描述、類描述公理、對象屬性公理、數(shù)據(jù)屬性公理、斷言。

1.1 類描述

OWL本體的類描述語法規(guī)則如圖1所示。

1.2 類描述公理

OWL本體的類描述公理語法規(guī)則如圖2所示。

1.3 對象屬性描述公理

OWL本體的對象屬性描述公理語法規(guī)則如圖3所示。

1.4 斷言

圖1 類描述語法規(guī)則

圖2 類公理語法規(guī)則

OWL本體的斷言公理語法規(guī)則如圖4所示。

2 本體在關(guān)系數(shù)據(jù)庫中的存儲規(guī)則

將OWL本體存儲在關(guān)系型數(shù)據(jù)庫中,即將OWL本體轉(zhuǎn)化成關(guān)

圖3 對象屬性公理語法規(guī)則

圖4 斷言公理語法規(guī)則

圖5 關(guān)系型數(shù)據(jù)庫中主要表關(guān)系圖

············系型數(shù)據(jù)庫中的表。將本體轉(zhuǎn)化為關(guān)系型數(shù)據(jù)庫可以分為兩部分來看,外層表示將本體轉(zhuǎn)化為關(guān)系型數(shù)據(jù)庫。其中,本體是源,關(guān)系數(shù)據(jù)庫是目標(biāo);在內(nèi)層,本體模型按預(yù)先設(shè)計好的規(guī)則映射成為關(guān)系模型。這一過程中,本體和本體模型保持一致,關(guān)系模型和關(guān)系型數(shù)據(jù)庫保持一致,而映射按照預(yù)先設(shè)計好的規(guī)則對應(yīng)轉(zhuǎn)化這一動作。在現(xiàn)有的映射轉(zhuǎn)化方法基礎(chǔ)上,得到改進(jìn)的映射轉(zhuǎn)化方法,關(guān)系型數(shù)據(jù)庫中的主要表結(jié)構(gòu)如圖5所示。

OWL本體向關(guān)系型數(shù)據(jù)庫映射主要存在以下規(guī)則:(1)OWL本體頭部映射規(guī)則;(2)數(shù)據(jù)類型映射規(guī)則;(3)類映射規(guī)則;(4)屬性映射規(guī)則;(5)個體映射規(guī)則。

3 結(jié)語

本文詳細(xì)給出了OWL本體的形式化定義,對OWL語言的抽象

語法、相應(yīng)的語義按照表格的方式予以說明。本章的核心內(nèi)容是OWL本體在關(guān)系型數(shù)據(jù)庫中的存儲方法,設(shè)計了映射轉(zhuǎn)化后的關(guān)系數(shù)據(jù)庫中的基本表的結(jié)構(gòu),最后對OWL語言中的類、數(shù)據(jù)類型屬性、對象屬性和個體的映射規(guī)則進(jìn)行了規(guī)范說明。

[1]甘健侯,姜躍,夏幼明.本體方法及其應(yīng)用[M].北京:科學(xué)出版社, 2011.

[2]朱姬鳳,馬宗民,呂艷輝.OWL本體到關(guān)系數(shù)據(jù)庫模式的映射[J].計算機科學(xué),2008,35(8):165-169.

[3]Vysniauskas E, Nemuraite L, Sukys A. A hybrid approach for relating OWL 2 ontologies and relational databases[M]//Perspectives in Business Informatics Research. Springer Berlin Heidelberg, 2010: 86-101.

猜你喜歡
關(guān)系數(shù)據(jù)庫數(shù)據(jù)類型公理
關(guān)系數(shù)據(jù)庫在高爐數(shù)據(jù)采集系統(tǒng)中的應(yīng)用
詳談Java中的基本數(shù)據(jù)類型與引用數(shù)據(jù)類型
如何理解數(shù)據(jù)結(jié)構(gòu)中的抽象數(shù)據(jù)類型
歐幾里得的公理方法
Abstracts and Key Words
公理是什么
基于索引結(jié)構(gòu)的關(guān)系數(shù)據(jù)庫關(guān)鍵詞檢索
數(shù)學(xué)機械化視野中算法與公理法的辯證統(tǒng)一
范疇數(shù)據(jù)類型上的子類型*
一種基于數(shù)據(jù)圖劃分的關(guān)系數(shù)據(jù)庫關(guān)鍵詞檢索方法
广丰县| 麟游县| 萨迦县| 碌曲县| 秦安县| 江陵县| 邵阳县| 宁化县| 英超| 长寿区| 建德市| 达尔| 讷河市| 安福县| 丰原市| 密山市| 日照市| 毕节市| 高碑店市| 云霄县| 白银市| 黄骅市| 峨山| 湟源县| 赤城县| 蒙自县| 东山县| 吉木萨尔县| 乌兰县| 泰州市| 景谷| 攀枝花市| 平顶山市| 游戏| 玛沁县| 聊城市| 会理县| 曲水县| 太白县| 达孜县| 当阳市|