天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當前位置:主頁 > 社科論文 > 邏輯論文 >

基于描述邏輯的模糊語義數(shù)據(jù)庫模型的表示與推理

發(fā)布時間:2021-08-17 12:52
  在數(shù)據(jù)庫設計階段,如何設計一個即具有較強的語義表達能力,又簡單、清晰、易于用戶理解的語義數(shù)據(jù)庫模型顯得尤為重要;诖四康,已有工作研究了如何將語義數(shù)據(jù)庫模型—ER模型和面向?qū)ο髷?shù)據(jù)(OO)模型轉(zhuǎn)化為描述邏輯的知識庫,從而利用描述邏輯的推理機制對ER模型和OO模型的包含關系和冗余性等推理問題進行自動推理,這有助于構(gòu)建更符合實際需求的語義數(shù)據(jù)庫模型,同時也是相關研究工作的動機所在。然而,在現(xiàn)實世界應用中,信息常常是模糊和不確定的。針對模糊知識的處理,已經(jīng)存在多種形式的模糊描述邏輯和模糊語義數(shù)據(jù)庫模型—模糊ER模型和模糊面向?qū)ο髷?shù)據(jù)模型,但是研究基于描述邏輯的模糊語義數(shù)據(jù)庫模型的工作卻相對甚少。本文主要研究基于描述邏輯的模糊語義數(shù)據(jù)庫模型—模糊ER模型和模糊面向?qū)ο髷?shù)據(jù)模型的表示與推理,即研究如何將這兩種模型轉(zhuǎn)化為描述邏輯的知識庫,并研究如何利用描述邏輯的推理機制對兩種模型的推理問題進行自動推理。具體內(nèi)容如下:針對ER模型,本文重點分析了將ER模型分別轉(zhuǎn)化為描述邏輯ALUNI知識庫和DLR知識庫的不同之處。在描述邏輯DLR的基礎之上,對DLR進行了模糊化擴展,提出了一種新的更適合于對模糊E... 

【文章來源】:東北大學遼寧省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】:76 頁

【學位級別】:碩士

【文章目錄】:
摘要
Abstract
第1章 緒論
    1.1 研究背景
    1.2 描述邏輯在數(shù)據(jù)庫建模中的研究現(xiàn)狀及存在的問題
    1.3 本文研究內(nèi)容及意義
    1.4 論文組織結(jié)構(gòu)
第2章 描述邏輯基礎知識
    2.1 描述邏輯
    2.2 模糊描述邏輯
    2.3 小結(jié)
第3章 用于表示ER和面向?qū)ο髷?shù)據(jù)模型的描述邏輯的選取
    3.1 基于描述邏輯的ER模型
        3.1.1 ER模型
        3.1.2 基于描述邏輯ALUNI和DLR的ER模型
    3.2 基于描述邏輯的面向?qū)ο髷?shù)據(jù)模型
        3.2.1 面向?qū)ο髷?shù)據(jù)模型
        3.2.2 基于描述邏輯ALUNI的面向?qū)ο髷?shù)據(jù)模型
    3.3 小結(jié)
第4章 基于描述邏輯FDLR的模糊ER模型
    4.1 模糊描述邏輯FDLR
        4.1.1 語法
        4.1.2 語義
        4.1.3 知識庫
    4.2 模糊ER模型
    4.3 模糊ER模型到FDLR知識庫的轉(zhuǎn)化
    4.4 模糊ER模型的推理
        4.4.1 推理問題的轉(zhuǎn)化
        4.4.2 推理問題的實現(xiàn)方案
    4.5 小結(jié)
第5章 基于描述邏輯FALUN的模糊面向?qū)ο髷?shù)據(jù)模型
    5.1 模糊描述邏輯FALUN
        5.1.1 語法
        5.1.2 語義
        5.1.3 知識庫
        5.1.4 可滿足性推理算法
    5.2 模糊面向?qū)ο髷?shù)據(jù)模型
    5.3 模糊面向?qū)ο髷?shù)據(jù)模型到FALUN知識庫的轉(zhuǎn)化
    5.4 模糊面向?qū)ο髷?shù)據(jù)模型的推理
        5.4.1 推理問題的轉(zhuǎn)化
        5.4.2 推理問題的實現(xiàn)方案
    5.5 小結(jié)
第6章 總結(jié)與展望
參考文獻
致謝
攻讀碩士學位期間發(fā)表的論文


【參考文獻】:
期刊論文
[1]面向語義Web語義表示的模糊描述邏輯[J]. 蔣運承,史忠植,湯庸,王駒.  軟件學報. 2007(06)
[2]基于描述邏輯的模糊ER模型[J]. 蔣運承,湯庸,王駒.  軟件學報. 2006(01)
[3]描述邏輯綜述[J]. 石蓮,孫吉貴.  計算機科學. 2006(01)
[4]基于描述邏輯的主體服務匹配[J]. 史忠植,蔣運承,張?,董明楷.  計算機學報. 2004(05)



本文編號:3347802

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/3347802.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權申明:資料由用戶250b2***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com