隨著語義Web的提出和語義技術(shù)的進(jìn)一步發(fā)展,出現(xiàn)了越來越多的大規(guī)模本體。由于本體缺乏內(nèi)在的結(jié)構(gòu),基于表算法的描述邏輯推理系統(tǒng)總是將本體視為單體對(duì)象來處理。在本體規(guī)模增大的情況下,推理系統(tǒng)的效率呈下降趨勢(shì)。盡管出現(xiàn)了一些針對(duì)特定子語言的高效推理算法,但這些特定算法在處理強(qiáng)表達(dá)力本體時(shí)不能保證推理的完備性。另外,標(biāo)準(zhǔn)的描述邏輯系統(tǒng)把本體視為靜態(tài)的數(shù)據(jù)對(duì)象。即使本體中出現(xiàn)極小的更改,推理系統(tǒng)也要重復(fù)整個(gè)本體的推理過程,導(dǎo)致不必要的重復(fù)計(jì)算,降低推理效率。因此,在保證推理完備性和可靠性的前提下,研究大規(guī)模本體的邏輯結(jié)構(gòu)和演化特性,進(jìn)一步優(yōu)化推理算法,成為是目前亟待解決的一個(gè)主要問題。針對(duì)大規(guī)模本體推理中出現(xiàn)的問題,本文從三個(gè)方面進(jìn)行創(chuàng)新性研究:(1)針對(duì)現(xiàn)有的本體模塊化分解方法存在的不足,提出一種混合的本體模塊化分解方法。把OWL 2 EL子本體表示為有向超圖,根據(jù)有向圖中的可達(dá)性和強(qiáng)聯(lián)通性計(jì)算EL部分的模塊化分解,然后利用局部性模塊抽取方法將剩余公理添加到前面計(jì)算的結(jié)構(gòu)中,得到整個(gè)本體的模塊化分解。(2)根據(jù)本體的模塊化結(jié)構(gòu),將本體分解為若干個(gè)相互獨(dú)立的子本體,依據(jù)不同模塊的語言特性把它們分...

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

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

【文章目錄】：
中文摘要
ABSTRACT
第1章 緒論
    1.1 研究背景和意義
        1.1.1 研究背景
        1.1.2 研究目的和意義
    1.2 主要研究?jī)?nèi)容和創(chuàng)新
    1.3 論文結(jié)構(gòu)
第2章 相關(guān)研究綜述
    2.1 本體的邏輯基礎(chǔ)
        2.1.1 描述邏輯的語法和語義
        2.1.2 描述邏輯推理的推理問題
        2.1.3 描述邏輯推理方法
    2.2 本體語言以及圖表示
    2.3 本體模塊及其結(jié)構(gòu)分解的研究現(xiàn)狀
    2.4 模塊化推理的研究現(xiàn)狀
    2.5 增量推理的研究現(xiàn)狀
    2.6 本章小結(jié)
第3章 本體模塊化結(jié)構(gòu)及其分解
    3.1 本體模塊及其模塊化結(jié)構(gòu)
        3.1.1 本體模塊
        3.1.2 本體的模塊化結(jié)構(gòu)
    3.2 基于局部性模塊的原子分解
    3.3 基于有向超圖的原子分解
    3.4 混合的原子分解方法
    3.5 實(shí)驗(yàn)與分析
        3.5.1 實(shí)驗(yàn)準(zhǔn)備
        3.5.2 實(shí)驗(yàn)結(jié)果和分析
    3.6 本章小結(jié)
第4章 本體的模塊化推理
    4.1 模塊化推理的動(dòng)機(jī)和原理
    4.2 推理任務(wù)劃分
        4.2.1 分離EL子本體和非EL子本體
        4.2.2 計(jì)算最小的非EL子本體
    4.3 模塊化推理算法
    4.4 實(shí)驗(yàn)與分析
        4.4.1 實(shí)驗(yàn)準(zhǔn)備
        4.4.2 實(shí)驗(yàn)結(jié)果
        4.4.3 實(shí)驗(yàn)分析
        4.4.4 與MORe的比較
    4.5 本章小結(jié)
第5章 本體的增量推理
    5.1 增量推理的動(dòng)機(jī)與原理
    5.2 OWL 2 QL本體
    5.3 本體的有向圖表示
    5.4 演化本體的動(dòng)態(tài)圖表示
        5.4.1 添加公理
        5.4.2 刪除公理
    5.5 受影響路徑的識(shí)別
    5.6 更新傳遞閉包
    5.7 算法實(shí)現(xiàn)和優(yōu)化
    5.8 實(shí)驗(yàn)評(píng)估
        5.8.1 實(shí)驗(yàn)準(zhǔn)備
        5.8.2 實(shí)驗(yàn)結(jié)果
        5.8.3 實(shí)驗(yàn)分析
    5.9 本章小結(jié)
第6章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻(xiàn)
發(fā)表論文和參加科研情況說明
致謝



本文編號(hào)：3866379