本文研究描述邏輯在語義網(wǎng)中的應用,在數(shù)據(jù)模型中語義的定義及推理,包括以下幾個方面: (1)研究描述邏輯的體系結(jié)構,描述邏輯的構造算子,描述邏輯的推理必須滿足的基本性質(zhì)。對語義網(wǎng)的發(fā)展和語義網(wǎng)的體系結(jié)構作簡要的介紹,闡述知識表示的常用方法,給出夠造本體的準則和OWL本體描述語言的構造算子及支持的公理,分析OWL的三個子語言OWL Lite、OWL DL和OWL Full之間的關系。 (2)研究并分析語義網(wǎng)發(fā)展現(xiàn)狀,描述邏輯和語義網(wǎng)之間的聯(lián)系,提出語義網(wǎng)語義表示所存在的問題,給出可滿足性推理算法Tableaux。 (3)參照一階謂詞邏輯的思想完成描述邏輯的推理,使用歸結(jié)推理的控制策略對語義進行推理。 (4)使用rough集理論描述不確定性的知識。 論文共分七章,第一章介紹論文研究的背景和必要性;第二章研究描述邏輯的概念和它的體系結(jié)構;第三章介紹語義網(wǎng)的發(fā)展現(xiàn)狀以及發(fā)展前景,闡述語義網(wǎng)和描述邏輯之間的關系;第四章介紹一階謂詞邏輯中使用的歸結(jié)推理的方法,并在歸結(jié)推理過程中使用控制策略;第五章介紹rough集理論,運用rough集理論描述不確定性的知識,實現(xiàn)對不確定性知識的描述...

【文章頁數(shù)】：62 頁

【學位級別】：碩士

【部分圖文】：

圖3-6OWL三種子語言通過上圖可以看出，三種子語言是包含和被包含的關系

[Symmetric]R=(-R)R=(RI)-[Functional]T≤1RRI是函數(shù)[InverseFunctional]T≤1R-(RI)-是函數(shù)[Transitive]Tr(R)RI=(RI)+SubPropertyOf(R1R2)R1R2RI....

本文編號：4013281