網(wǎng)絡(luò)的出現(xiàn),極大地改變了人們的生活,豐富了人們的交流方式,增加了人們獲取資料的途徑,加速了信息的流通,影響了人們的休閑方式,等等,可以說,網(wǎng)絡(luò)是二十世紀(jì)后期以來對人類影響最大的技術(shù)之一。但是目前的網(wǎng)頁,其表達(dá)語言為超文本標(biāo)記語言,即HTML,在發(fā)明之初,是面向人的,即網(wǎng)頁的內(nèi)容通過瀏覽器,展示給人,這導(dǎo)致其內(nèi)容不能很好地被機器所理解,影響了網(wǎng)頁內(nèi)容處理的自動化。隨著網(wǎng)絡(luò)信息的急劇增長,人們從海量的信息中有效地獲取知識變得困難。 語義網(wǎng)是萬維網(wǎng)創(chuàng)始人Tim Borners-Lee提出的下一代網(wǎng)絡(luò)。通過對網(wǎng)頁中的信息增加元數(shù)據(jù),以及改善網(wǎng)頁的結(jié)構(gòu)等,使得網(wǎng)頁中的信息更加規(guī)范,從而能夠被計算機所自動處理。描述邏輯是語義網(wǎng)的邏輯基礎(chǔ),如果語義網(wǎng)需要對其表達(dá)的知識進(jìn)行推理,發(fā)現(xiàn)其中的隱含知識,則需要運用描述邏輯的推理能力。 目前的研究表明,對于普通表達(dá)能力的描述邏輯語言ALC來說,其復(fù)雜度是pspace-complete,因此,如果不加以優(yōu)化,很難應(yīng)用在網(wǎng)絡(luò)化的環(huán)境當(dāng)中。基于人們在利用現(xiàn)有的搜索引擎時,搜索的結(jié)果并不總是正確的,提出了利用近似化來提高描述邏輯的推理效率。 ... 

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

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

【文章目錄】：
摘要
ABSTRACT
目錄
插圖目錄
表目錄
第1章 緒論
    1.1 引言
    1.2 描述邏輯簡介
        1.2.1 網(wǎng)狀結(jié)構(gòu)的知識表示
        1.2.2 描述邏輯的內(nèi)容和發(fā)展歷史
    1.3 近似化推理的基本思想和方法
        1.3.1 近似推理的基本思想
        1.3.2 近似演繹的幾種方法
    1.4 現(xiàn)有方法存在的問題
    1.5 研究思路與研究內(nèi)容
    1.6 論文組織
第2章 描述邏輯基礎(chǔ)
    2.1 描述邏輯的語法和語義
    2.2 ALC介紹
        2.2.1 語法
        2.2.2 語義
    2.3 TBox推理
    2.4 ABox推理
    2.5 總結(jié)
第3章 基于個體的推理優(yōu)化
    3.1 分類算法
        3.1.1 BFM
        3.1.2 STM
        3.1.3 ETM
        3.1.4 CIM
    3.2 顯示包含計算
    3.3 基于ABox的一致性檢查和推理過程的優(yōu)化
        3.3.1 ABox的一致性檢查
        3.3.2 分類優(yōu)化
        3.3.3 算法
    3.4 實驗結(jié)果及分析
    3.5 基于本體的模塊依賴檢測
    3.6 總結(jié)
第4章 描述邏輯推理近似化
    4.1 個體獲取的語義計算
    4.2 基于概念泛化和窄化的近似計算
    4.3 個體獲取的近似計算
    4.4 推理過程的復(fù)雜度估計
        4.4.1 TBox推理的復(fù)雜度估算
        4.4.2 ABox推理的復(fù)雜度估算
    4.5 基于分區(qū)的近似化
        4.5.1 分區(qū)方法
        4.5.2 分布式描述邏輯的近似化
    4.6 近似化的修正
    4.7 實驗
        4.7.1 基于語義計算的個體獲取
        4.7.2 概念包含的近似化計算
        4.7.3 基于推理復(fù)雜度估算的近似化
    4.8 基于本體的制造資源檢索
    4.9 總結(jié)
第5章 查詢近似化
    5.1 描述邏輯中的查詢
        5.1.1 查詢研究的發(fā)展
        5.1.2 查詢問題的相關(guān)定義
    5.2 描述邏輯SHOIQ中查詢的近似求解
    5.3 基于優(yōu)先級的查詢近似化
        5.3.1 帶優(yōu)先級的查詢樹及其遍歷
        5.3.2 效率分析
    5.4 基于概化的查詢近似化
    5.5 總結(jié)
第6章 偏好的OWL表示和推理
    6.1 引言
    6.2 定性偏好描述語言
        6.2.1 分級知識庫
        6.2.2 基本偏好和偏好算子
        6.2.3 偏好語言
    6.3 偏好的OWL表示
        6.3.1 分級知識庫的構(gòu)造
        6.3.2 模型的表示
        6.3.3 基本偏好的描述邏輯表示
        6.3.4 偏好策略算子
        6.3.5 聯(lián)結(jié)算子
    6.4 條件偏好
    6.5 實例和討論
    6.6 結(jié)論
第7章 總結(jié)和展望
    7.1 論文的主要工作概述
        7.1.1 本文的主要工作
        7.1.2 本文的創(chuàng)新點
    7.2 未來工作展望
參考文獻(xiàn)
作者簡歷及攻讀博士學(xué)位期間主要的研究成果
致謝


【參考文獻(xiàn)】：
期刊論文
[1]偏好推理的邏輯鏈實現(xiàn)[J]. 張志政,翟玉慶,邢漢承.  軟件學(xué)報. 2006(12)
[2]網(wǎng)絡(luò)服務(wù)自動化中服務(wù)功能匹配研究[J]. 劉曉光,金燁.  計算機集成制造系統(tǒng). 2006(05)
[3]網(wǎng)絡(luò)化制造環(huán)境中制造資源的智能發(fā)現(xiàn)技術(shù)研究[J]. 蔡銘,林蘭芬,陳剛,董金祥.  計算機集成制造系統(tǒng)-CIMS. 2003(07)



本文編號：3700560