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

【文章頁數】：62 頁

【學位級別】：碩士

【部分圖文】：

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

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

本文編號：4013281