本體間的邏輯差問題在本體維護中占重要地位,對于本體工程師理解本體不同版本間表達含義上的差別有重要的幫助作用。這是一個新興的研究領(lǐng)域。 本文研究了本體間的邏輯差問題,重點討論了以下3個方面: (1)ε(?)術(shù)語集間概念包含型邏輯差的分層:在改進的插值方法的基礎(chǔ)上,我們提出最一般子概念、概念差等概念,在其上,給出算法對概念包含型邏輯差進行分層。對于這一方法,給出其在信念修正中的應(yīng)用。 (2)模糊ε(?)術(shù)語集間的邏輯差:在定義模糊ε(?)術(shù)語集間的邏輯差,給出各種預(yù)處理規(guī)則,在避免重新計算的情況下判斷各種結(jié)論是否受到影響。 (3)不同類型邏輯差間聯(lián)系的分析:對于ε(?)術(shù)語集間概念包含型邏輯差和實例型邏輯差間的聯(lián)系進行分析,嘗試用后者來表達前者。對于DL_Lite本體間概念包含型邏輯差和詢問型邏輯差間的聯(lián)系進行分析,嘗試得到后者的緊致性表示。 未來的工作將在實現(xiàn)和理論兩個方面進行。在系統(tǒng)的實現(xiàn)方面,嘗試不同的優(yōu)化算法,以獲得系統(tǒng)的可擴展性和重用性。在理論上繼續(xù)探討不同類型的邏輯差間的聯(lián)系,以及相互表達、緊致性表示問題。

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

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

【文章目錄】：
內(nèi)容提要
摘要
Abstract
第1章 緒論
    1.1 產(chǎn)生背景
        1.1.1 描述邏輯與本體
        1.1.2 推理問題的演化
        1.1.3 本體模塊理論
        1.1.4 本體的不確定性推理
    1.2 已有研究
    1.3 研究入手點
        1.3.1 本體應(yīng)用方面
        1.3.2 理論研究方面
    1.4 論文的組織
第2章 ε(?)術(shù)語集間邏輯差的分析及應(yīng)用
    2.1 引言
    2.2 描述邏輯ε(?)
        2.2.1 語言及推理問題
        2.2.2 推理問題
    2.3 ε(?)術(shù)語集間的邏輯差
        2.3.1 本體間的邏輯差
        2.3.2 ε(?)術(shù)語集間的邏輯差
    2.4 對概念包含型邏輯差的分析
        2.4.1 改進的插值方法
        2.4.2 概念差
        2.4.3 對邏輯差進行分層
        2.4.4 實驗結(jié)果
    2.5 概念包含型邏輯差在信念修正中的應(yīng)用
        2.5.1 信念修正簡介
        2.5.2 應(yīng)用概念包含型邏輯差
    2.6 小結(jié)
第3章 模糊ε(?)術(shù)語集間的邏輯差
    3.1 引言
    3.2 模糊ε(?)描述邏輯
        3.2.1 語言介紹
        3.2.2 推理算法
    3.3 模糊f_G-ε(?)術(shù)語集間的邏輯差
        3.3.1 邏輯差的定義
        3.3.2 求解策略
    3.4 應(yīng)用于本體的訪問控制問題
    3.5 小結(jié)
第4章 不同類型邏輯差間的聯(lián)系
    4.1 引言
    4.2 ε(?)術(shù)語集間邏輯差研究
        4.2.1 實例型邏輯差
        4.2.2 實例型邏輯差的求法
        4.2.3 對概念包含型邏輯差的表達
    4.3 DL_Lite描述邏輯中的邏輯差
        4.3.1 背景知識
        4.3.2 DL_Lite_bool邏輯差的求法與緊致表達
        4.3.3 DL_Lite_horn邏輯差的求法與表達
    4.4 小結(jié)
第5章 結(jié)論與未來工作
    5.1 結(jié)論
    5.2 未來工作
參考文獻
攻讀博士學(xué)位期間發(fā)表的論文及參加的項目
致謝



本文編號：3963322