自從2000年Tim Berners-Lee提出了語義Web的理念和框架結(jié)構(gòu)后,這個(gè)被稱之為下一代網(wǎng)絡(luò)的技術(shù)就受到了普遍的關(guān)注,在過去的近十年時(shí)間內(nèi),人們對(duì)相關(guān)層面的知識(shí)架構(gòu)、表示、推理等都進(jìn)行了深入的研究,并不斷的引入相關(guān)領(lǐng)域的技術(shù)思想應(yīng)用于語義Web的開發(fā)和實(shí)現(xiàn)。 語義Web構(gòu)建的核心技術(shù)之一是創(chuàng)建具有統(tǒng)一規(guī)范的領(lǐng)域本體,如何維護(hù)本體的正確性及有效的組織推理規(guī)則獲取隱性信息是其中的主要工作,基于此點(diǎn),本體推理研究在語義Web技術(shù)中具有重要意義。 本文中對(duì)語義Web技術(shù)、本體構(gòu)建和推理以及描述邏輯相關(guān)方法進(jìn)行了深入的研究和探討。以基于ALC的Tableau算法作為可滿足性判定的基礎(chǔ),對(duì)TBox推理部分的概念分類算法,進(jìn)行了優(yōu)化,提出了改進(jìn)算法ERXM。該算法使用顯示定義、重構(gòu)、基于個(gè)體的包含關(guān)系判定以及標(biāo)識(shí)擴(kuò)展等優(yōu)化技術(shù),降低概念分類算法中概念間包含關(guān)系的檢測(cè)次數(shù),從而提高求解效率。當(dāng)本體中包含個(gè)體數(shù)量較多時(shí),算法的效率提高明顯。此外,我們以此算法作為TBox推理中的核心部分,設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)基于描述邏輯的本體推理系統(tǒng)原型,用于對(duì)讀入本體文件的正確性檢測(cè)及指導(dǎo)用戶推理查...

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

【學(xué)位級(jí)別】：碩士

【文章目錄】：
提要
第1章 緒論
    1.1 研究背景
    1.2 問題的提出
    1.3 本文的主要工作
第2章 相關(guān)基礎(chǔ)知識(shí)簡(jiǎn)介
    2.1 語義網(wǎng)相關(guān)技術(shù)
        2.1.1 語義Web 的概念及體系結(jié)構(gòu)
        2.1.2 語義Web 的本體描述語言O(shè)WL
        2.1.3 本體論
    2.2 描述邏輯基礎(chǔ)
        2.2.1 描述邏輯的概念綜述
        2.2.2 描述邏輯的語言表示
        2.2.3 描述邏輯的體系結(jié)構(gòu)
第3章 本體推理中算法研究
    3.1 總體分析
    3.2 分類優(yōu)化技術(shù)
        3.2.1 優(yōu)化問題的提出
        3.2.2 分類優(yōu)化算法研究
        3.2.3 改進(jìn)的優(yōu)化分類算法ERXM
    3.3 ABox 中查詢推理研究
        3.3.1 涉及到的問題
        3.3.2 相關(guān)處理技術(shù)
        3.3.3 基于語義近似求解個(gè)體獲取問題
        3.3.4 基于概念分類樹的概念實(shí)現(xiàn)
    3.4 總結(jié)
第4章 基于描述邏輯的推理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
    4.1 問題歸納提出
    4.2 推理系統(tǒng)設(shè)計(jì)
        4.2.1 框架結(jié)構(gòu)設(shè)計(jì)思想
        4.2.2 系統(tǒng)功能模塊設(shè)計(jì)
    4.3 推理系統(tǒng)具體實(shí)現(xiàn)
        4.3.1 本體解析模塊
        4.3.2 TBox 推理模塊
        4.3.3 ABox 查詢推理模塊
    4.4 開發(fā)環(huán)境構(gòu)建及界面顯示
    4.5 小結(jié)
第5章 用例測(cè)試及結(jié)果分析
第6章 結(jié)束語
    6.1 相關(guān)工作總結(jié)
    6.2 進(jìn)一步研究方向
參考文獻(xiàn)
致謝
摘要
ABSTRACT



本文編號(hào)：4038840