自從1998年語義Web的理念和體系架構(gòu)被提出后,這個(gè)被稱為下一代Web的技術(shù)受到廣泛關(guān)注,在近十幾年,研究者對(duì)相關(guān)層面上的知識(shí)表示、推理、存儲(chǔ)方式等進(jìn)行深入研究,并逐漸地將相關(guān)領(lǐng)域內(nèi)的技術(shù)思想和研究成果運(yùn)用到語義Web的開發(fā)和實(shí)際應(yīng)用。語義Web開發(fā)的核心技術(shù)之一是構(gòu)建具有邏輯推理功能的知識(shí)庫(kù),它已經(jīng)在互聯(lián)網(wǎng)上得到廣泛的應(yīng)用,尤其是為語義Web提供語義信息,實(shí)現(xiàn)Web信息的自動(dòng)處理。知識(shí)庫(kù)的分散式、單一化的特性導(dǎo)致知識(shí)庫(kù)之間構(gòu)建標(biāo)準(zhǔn)不統(tǒng)一、數(shù)據(jù)不一致、信息交互困難以及“信息孤島”等問題,從而嚴(yán)重影響機(jī)器自主推理能力,降低語義Web的智能化效果。為了有效解決上述問題,并考慮如何維護(hù)知識(shí)庫(kù)的正確性及有效組織推理規(guī)則進(jìn)行邏輯推理以最大化地滿足語義Web所需要的隱含信息,知識(shí)庫(kù)整合技術(shù)的研究在語義Web領(lǐng)域中具有重要意義。目前,語義Web下的多知識(shí)庫(kù)整合需要人工參與大部分工作,而其過程又是單調(diào)的重復(fù)性工作�；诖它c(diǎn),本文針對(duì)語義Web中描述邏輯構(gòu)建的多知識(shí)庫(kù)整合進(jìn)行較為全面的分析與研究。本文的主要貢獻(xiàn)如下:（1）實(shí)現(xiàn)知識(shí)庫(kù)的邏輯推理功能。證明了描述邏輯中的所有推理問題都可轉(zhuǎn)化為可滿足性關(guān)系和... 

【文章來源】：江蘇科技大學(xué)江蘇省

【文章頁(yè)數(shù)】：73 頁(yè)

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 課題研究背景及現(xiàn)實(shí)意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 論文的主要研究?jī)?nèi)容
    1.4 論文的組織結(jié)構(gòu)
第2章 基于描述邏輯知識(shí)庫(kù)的相關(guān)概述
    2.1 語義Web 相關(guān)技術(shù)
        2.1.1 語義Web 概述
        2.1.2 語義Web 的體系結(jié)構(gòu)
    2.2 描述邏輯
        2.2.1 描述邏輯概念綜述
        2.2.2 描述邏輯的系統(tǒng)結(jié)構(gòu)
    2.3 描述邏輯的推理算法
        2.3.1 Tableau-base 算法
        2.3.2 結(jié)構(gòu)化包含算法
        2.3.3 一致性判定算法
    2.4 描述邏輯構(gòu)建的知識(shí)庫(kù)
        2.4.1 術(shù)語公理集
        2.4.2 實(shí)例化斷言集
    2.5 基于知識(shí)庫(kù)的邏輯推理機(jī)制
        2.5.1 TBox 的推理機(jī)制
        2.5.2 ABox 的推理機(jī)制
    2.6 本章小結(jié)
第3章 多TBox 的整合技術(shù)及其算法
    3.1 引言
    3.2 尋找TBox 的最小概念集的重疊區(qū)域
        3.2.1 TBox 的最小概念集
        3.2.2 最小概念集間的映射圖
    3.3 TBox 的最小概念集間的映射方法
        3.3.1 基于風(fēng)險(xiǎn)最小化的本體映射模型
        3.3.2 RiMOM 模型映射策略的改進(jìn)
    3.4 多TBox 的整合和數(shù)據(jù)優(yōu)化
        3.4.1 基于最小概念集的多TBox 整合算法
        3.4.2 消除數(shù)據(jù)的冗余性和不一致性
        3.4.3 整合后的TBox 查詢算法
    3.5 實(shí)驗(yàn)驗(yàn)證和算法性能分析
        3.5.1 實(shí)驗(yàn)過程與結(jié)果
        3.5.2 算法性能結(jié)果分析
    3.6 本章小結(jié)
第4章 多ABox 的優(yōu)化技術(shù)及算法實(shí)現(xiàn)
    4.1 引言
    4.2 ABox 的分割與關(guān)聯(lián)策略
        4.2.1 一種ABox 數(shù)據(jù)的分割方法
        4.2.2 一種ABox 數(shù)據(jù)的關(guān)聯(lián)策略
    4.3 基于優(yōu)化后ABox 的查詢算法
    4.4 應(yīng)用示例
    4.5 實(shí)驗(yàn)評(píng)估與結(jié)果分析
        4.5.1 實(shí)驗(yàn)仿真結(jié)果
        4.5.2 實(shí)驗(yàn)結(jié)果分析
    4.6 本章小結(jié)
第5章 原型系統(tǒng)實(shí)現(xiàn)與工程應(yīng)用
    5.1 原型系統(tǒng)的實(shí)驗(yàn)環(huán)境
    5.2 系統(tǒng)架構(gòu)
    5.3 原型系統(tǒng)流程
    5.4 系統(tǒng)各模塊設(shè)計(jì)
        5.4.1 操作中心的設(shè)計(jì)
        5.4.2 詞典的設(shè)計(jì)
        5.4.3 反饋中心
        5.4.4 處理中心
    5.5 系統(tǒng)的實(shí)現(xiàn)與使用
    5.6 工程實(shí)例應(yīng)用
        5.6.1 企業(yè)供應(yīng)鏈模式的具體設(shè)計(jì)
        5.6.2 企業(yè)供應(yīng)鏈上服務(wù)查詢算法與實(shí)例總結(jié)
    5.7 本章小結(jié)
結(jié)論
參考文獻(xiàn)
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文
致謝
詳細(xì)摘要


【參考文獻(xiàn)】：
期刊論文
[1]基于RDF句子的語義網(wǎng)文檔搜索[J]. 吳鴻漢,瞿裕忠,李慧穎.  計(jì)算機(jī)研究與發(fā)展. 2010(02)
[2]知識(shí)庫(kù)系統(tǒng)的邏輯基礎(chǔ)[J]. 許文艷,劉三陽(yáng).  計(jì)算機(jī)學(xué)報(bào). 2009(11)
[3]一種新的數(shù)據(jù)庫(kù)訪問圖算法及其應(yīng)用[J]. 鄧亞丹,景寧,熊偉.  計(jì)算機(jī)工程. 2009(17)
[4]基于描述邏輯的目標(biāo)推理研究[J]. 吳修國(guó),曾廣周,許崇敬.  計(jì)算機(jī)科學(xué). 2008(07)
[5]動(dòng)態(tài)描述邏輯的Tableau判定算法[J]. 常亮,史忠植,邱莉榕,林芬.  計(jì)算機(jī)學(xué)報(bào). 2008(06)
[6]一種基于語義的本體概念相似度的計(jì)算方法[J]. 吳開貴,萬紅波,朱鄭州.  計(jì)算機(jī)科學(xué). 2008(05)
[7]語義Web服務(wù)在業(yè)務(wù)協(xié)同與供應(yīng)鏈集成中的應(yīng)用[J]. 宋庭新,黃必清,熊健民,魏春梅.  中國(guó)機(jī)械工程. 2008(04)
[8]基于描述邏輯的推理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J]. 文坤梅,盧正鼎,吳杰文,李瑞軒,孫小林.  小型微型計(jì)算機(jī)系統(tǒng). 2008(01)
[9]語義Web中的本體自動(dòng)映射[J]. 唐杰,梁邦勇,李涓子,王克宏.  計(jì)算機(jī)學(xué)報(bào). 2006(11)
[10]面向語義Web的領(lǐng)域本體表示、推理與集成研究[J]. 張維明,宋峻峰.  計(jì)算機(jī)研究與發(fā)展. 2006(01)



本文編號(hào)：3508268