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

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

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

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 研究背景
    1.2 描述邏輯在數(shù)據(jù)庫建模中的研究現(xiàn)狀及存在的問題
    1.3 本文研究?jī)?nèi)容及意義
    1.4 論文組織結(jié)構(gòu)
第2章 描述邏輯基礎(chǔ)知識(shí)
    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 知識(shí)庫
    4.2 模糊ER模型
    4.3 模糊ER模型到FDLR知識(shí)庫的轉(zhuǎn)化
    4.4 模糊ER模型的推理
        4.4.1 推理問題的轉(zhuǎn)化
        4.4.2 推理問題的實(shí)現(xiàn)方案
    4.5 小結(jié)
第5章 基于描述邏輯FALUN的模糊面向?qū)ο髷?shù)據(jù)模型
    5.1 模糊描述邏輯FALUN
        5.1.1 語法
        5.1.2 語義
        5.1.3 知識(shí)庫
        5.1.4 可滿足性推理算法
    5.2 模糊面向?qū)ο髷?shù)據(jù)模型
    5.3 模糊面向?qū)ο髷?shù)據(jù)模型到FALUN知識(shí)庫的轉(zhuǎn)化
    5.4 模糊面向?qū)ο髷?shù)據(jù)模型的推理
        5.4.1 推理問題的轉(zhuǎn)化
        5.4.2 推理問題的實(shí)現(xiàn)方案
    5.5 小結(jié)
第6章 總結(jié)與展望
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間發(fā)表的論文


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



本文編號(hào)：3347802