本體推理機(jī)制在關(guān)系中的存儲(chǔ)研究與實(shí)現(xiàn).pdf

1、語(yǔ)義網(wǎng)(Semantic web)不同于已經(jīng)存在的web技術(shù)。在語(yǔ)義網(wǎng)中，信息不再是單純的文字、圖片，而是被標(biāo)注明確的含義，計(jì)算機(jī)能夠?qū)崿F(xiàn)信息的自動(dòng)化處理和對(duì)網(wǎng)絡(luò)信息的集成。語(yǔ)義網(wǎng)通過(guò)加載智能語(yǔ)義程序，獲取更加明確的信息，使人類(lèi)從繁重的搜索活動(dòng)中解放出來(lái)，為人類(lèi)提供一種全新的網(wǎng)絡(luò)服務(wù)模式。語(yǔ)義網(wǎng)的核心是本體(Ontology)，本體通過(guò)類(lèi)、屬性、實(shí)例、公理等元素實(shí)現(xiàn)對(duì)人類(lèi)知識(shí)的建模。本體在語(yǔ)義網(wǎng)的層次結(jié)構(gòu)中充當(dāng)著重要的角色，不僅在于它能

2、夠很好的描述領(lǐng)域知識(shí)，而且在于它蘊(yùn)含著較強(qiáng)的邏輯推理能力。
　　 目前本體主要以文件形式存儲(chǔ)，本體的文件存儲(chǔ)耗費(fèi)內(nèi)存、存取速度慢、難于擴(kuò)展且不具備事務(wù)機(jī)制。針對(duì)以文件存儲(chǔ)本體的缺點(diǎn)，本文提出將本體不失語(yǔ)義的存儲(chǔ)到關(guān)系數(shù)據(jù)庫(kù)中，并結(jié)合數(shù)據(jù)庫(kù)技術(shù)設(shè)計(jì)推理模式，獲取隱含知識(shí)。主要做了以下幾個(gè)方面的研究：
　　 (1)分析當(dāng)前本體相關(guān)技術(shù)如本體的定義、用途、描述語(yǔ)言等，詳細(xì)討論了本體推理的理論基礎(chǔ)，闡述了基于規(guī)則和基于描述邏輯的

3、本體推理機(jī)制。
　　 (2)從類(lèi)、屬性和實(shí)例的角度詳細(xì)討論本體描述語(yǔ)言O(shè)WL的語(yǔ)法，并總結(jié)本體中常用的推理規(guī)則。
　　 (3)提出以關(guān)系數(shù)據(jù)庫(kù)存儲(chǔ)本體并實(shí)現(xiàn)本體的推理；按照本體元素分類(lèi)對(duì)本體的存儲(chǔ)模式進(jìn)行設(shè)計(jì)；在本體存儲(chǔ)模式上設(shè)計(jì)本體推理模式，并將推理結(jié)果分兩種方式處理：與公理相關(guān)的推理結(jié)果存儲(chǔ)到關(guān)系數(shù)據(jù)庫(kù)中，與實(shí)例相關(guān)的推理結(jié)果在查詢(xún)時(shí)獲取；設(shè)計(jì)并優(yōu)化查詢(xún)模式以提高查詢(xún)速度。
　　 (4)以上述本體模式設(shè)計(jì)為基