本體作為一種領(lǐng)域知識的形式化表示方法，在信息技術(shù)領(lǐng)域有著廣泛的應(yīng)用。語義Web、本體工程等領(lǐng)域研究和應(yīng)用的迅猛發(fā)展，推動了上下文本體相關(guān)理論和技術(shù)的創(chuàng)新與發(fā)展。在本體研究中具有基礎(chǔ)地位的描述邏輯研究領(lǐng)域，新近提出了一種稱為二維描述邏輯的描述工具，為上下文本體建模和分析提供了形式化的理論基礎(chǔ)，為上下文本體研究和應(yīng)用提供了一種新的途徑。本文從二維描述邏輯的元建模方法出發(fā)，借鑒軟件工程中模型驅(qū)動架構(gòu)相關(guān)的技術(shù)，在二維描述邏輯應(yīng)用基礎(chǔ)研究方面取得了一定成果。本文的主要工作和貢獻(xiàn)如下：1.提出了一種二維描述邏輯元建模方法；2.給出了二維描述邏輯族中若干形式化表示的元模型；3.定義了一種擴(kuò)展Web本體語言的上下文本體語言；4.給出了一種基于元模型的二維描述邏輯度量方法；5.設(shè)計和實(shí)現(xiàn)了二維描述邏輯可視化建模工具；6.討論和分析了二維描述邏輯的若干應(yīng)用領(lǐng)域。 

【文章來源】：吉林大學(xué)吉林省211工程院校985工程院校教育部直屬院校

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

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

【文章目錄】：
內(nèi)容提要
摘要
Abstract
第一章 緒論
    §1.1 研究背景
        §1.1.1 本體與本體工程
        §1.1.2 語義 Web 與描述邏輯
        §1.1.3 模型驅(qū)動架構(gòu)與本體定義元模型
        §1.1.4 二維描述邏輯及其應(yīng)用
    §1.2 國內(nèi)外研究現(xiàn)狀
        §1.2.1 國外研究現(xiàn)狀
        §1.2.2 國內(nèi)研究現(xiàn)狀
    §1.3 本文的工作
        §1.3.1 研究的目的和意義
        §1.3.2 主要研究成果
第二章 一種二維描述邏輯的元建模方法
    §2.1 二維描述邏輯介紹
        §2.1.1 描述邏輯介紹
            §2.1.1.1 描述邏輯的語法
            §2.1.1.2 描述邏輯的語義
            §2.1.1.3 命名傳統(tǒng)
        §2.1.2 二維描述邏輯族
            §2.1.2.1 簡單互操作系統(tǒng)
            §2.1.2.2 抽象互操作系統(tǒng)
            §2.1.2.3 強(qiáng)表達(dá)能力二維描述邏輯
            §2.1.2.4 基本的上下文描述邏輯
    §2.2 二維描述邏輯元建模
        §2.2.1 模型驅(qū)動架構(gòu)簡介
        §2.2.2 本體定義元模型簡介
        §2.2.3 基于元對象設(shè)施的元建模
    §2.3 二維描述邏輯的元模型
        §2.3.1 簡單互操作系統(tǒng)的元模型
        §2.3.2 抽象互操作系統(tǒng)的元模型
        §2.3.3 強(qiáng)表達(dá)能力二維描述邏輯的元模型
        §2.3.4 基本上下文描述邏輯的元模型
    §2.4 本章小結(jié)
第三章 面向二維描述邏輯的 Web 本體語言擴(kuò)展
    §3.1 簡單互操作系統(tǒng)的 Web 本體語言
    §3.2 抽象互操作系統(tǒng)的 Web 本體語言
    §3.3 強(qiáng)表達(dá)能力二維描述邏輯的 Web 本體語言
    §3.4 基本上下文描述邏輯的 Web 本體語言
    §3.5 二維 Web 本體語言
        §3.5.1 二維 Web 本體語言的抽象語法
        §3.5.2 二維 Web 本體語言的語義
    §3.6 本章小結(jié)
第四章 二維描述邏輯的度量
    §4.1 本體度量簡介
    §4.2 二維描述邏輯本體圖模型
    §4.3 基本的度量準(zhǔn)則
    §4.4 二維描述邏輯的度量準(zhǔn)則
        §4.4.1 知識庫的度量
        §4.4.2 上下文相關(guān)的度量
        §4.4.3 對象相關(guān)的度量
        §4.4.4 上下文與對象間的度量
    §4.5 本章小結(jié)
第五章 二維描述邏輯建模工具的設(shè)計與實(shí)現(xiàn)
    §5.1 元模型與元建模
    §5.2 基于元模型的建模工具的設(shè)計與開發(fā)
    §5.3 二維描述邏輯建模工具的架構(gòu)
    §5.4 二維描述邏輯建模工具的實(shí)現(xiàn)
    §5.5 本章小結(jié)
第六章 二維描述邏輯的應(yīng)用
    §6.1 上下文知識庫
    §6.2 上下文本體推理
    §6.3 本體對齊和重用
    §6.4 本體版本管理和變更分析
    §6.5 本章小結(jié)
第七章 總結(jié)與展望
    §7.1 已完成的工作
    §7.2 下一步的研究工作
參考文獻(xiàn)
作者讀博期間的成果
致謝


【參考文獻(xiàn)】：
期刊論文
[1]信息提供類Web服務(wù)基于查詢重寫的自動組合方法[J]. 趙文峰,劉傳昌,陳俊亮.  中國科學(xué):信息科學(xué). 2011(07)
[2]基于模式結(jié)構(gòu)分類的本體映射方法[J]. 周栩,劉磊,范任宏.  電子學(xué)報. 2011(04)
[3]一種面向組合服務(wù)的語義Web服務(wù)發(fā)現(xiàn)方法[J]. 劉磊,宋雅娟,任平.  吉林大學(xué)學(xué)報(理學(xué)版). 2010(02)
[4]基于本體的模型集成[J]. 蔡樹彬,明仲,李師賢,劉顯明.  電子學(xué)報. 2009(04)
[5]圖形化本體建模工具GOM的設(shè)計與實(shí)現(xiàn)[J]. 王旭巖,魯寧,范任宏,紀(jì)祥,劉磊.  吉林大學(xué)學(xué)報(理學(xué)版). 2008(05)
[6]基于MDA的設(shè)計模式建模與模型轉(zhuǎn)換[J]. 張?zhí)?張巖,于笑豐,王林章,李宣東.  軟件學(xué)報. 2008(09)
[7]語義查詢擴(kuò)展中詞語-概念相關(guān)度的計算[J]. 田萱,杜小勇,李海華.  軟件學(xué)報. 2008(08)
[8]Seal演算的偶圖語義[J]. 金龍飛,劉磊.  計算機(jī)學(xué)報. 2008(03)
[9]關(guān)系數(shù)據(jù)庫模式和本體間映射的研究綜述[J]. 瞿裕忠,胡偉,鄭東棟,仲新宇.  計算機(jī)研究與發(fā)展. 2008(02)
[10]基于分類的本體映射方法及映射工具實(shí)現(xiàn)[J]. 潘玉娥,梁鵬,何克清.  計算機(jī)應(yīng)用研究. 2007(10)



本文編號：3634487