面向語義Web的描述邏輯本體構(gòu)建.pdf

1、本體是計算機(jī)科學(xué)和人工智能(特別是知識表示和知識推理)的一個重要研究課題，在語義Web、語義計算、搜索引擎、知識工程、軟件工程、模式識別和自然語言理解等領(lǐng)域得到了很好的應(yīng)用。
　　 語義Web是對現(xiàn)有Web的擴(kuò)展，其目標(biāo)是使Web上的信息具有計算機(jī)可以理解的語義。本體是實(shí)現(xiàn)語義Web的關(guān)鍵技術(shù)，但在使用本體之前必須先構(gòu)建好本體，如果本體構(gòu)建存在問題(如矛盾、不一致、冗余)，本體推理將無法使用。因此，如何利用本體語言構(gòu)建出本體是實(shí)

2、現(xiàn)語義Web的關(guān)鍵。
　　 本文在分析了已有的描述邏輯本體構(gòu)建方法和關(guān)鍵問題等相關(guān)研究工作及所存在的問題的基礎(chǔ)上，重點(diǎn)從描述邏輯非標(biāo)準(zhǔn)推理、本體的完備性和無冗余性這三個方面來研究面向語義Web的描述邏輯本體構(gòu)建，目的是研究如何構(gòu)建出可靠的、無冗余的、完備的OWL(Web Ontology Language)本體，為實(shí)現(xiàn)語義信息搜索等Web服務(wù)提供理論依據(jù)和技術(shù)支持。論文的主要研究工作如下：
　　 (1)研究描述邏輯的非標(biāo)

3、準(zhǔn)推理問題。
　　 針對目前描述邏輯非標(biāo)準(zhǔn)推理的Most Specific Concept(MSC)推理不能處理n元存在量詞以及不能同時處理傳遞關(guān)系和存在量詞的不足，提出了帶n元存在量詞的描述邏輯εL(n)的MSC推理，提出了同時帶傳遞關(guān)系和存在量詞的描述邏輯εL+的MSC推理。針對εL混合循環(huán)術(shù)語集在描述語義下是否存在Least Common Subsumers(LCS)推理和MSC推理問題，提出了描述邏輯系統(tǒng)εL混合循環(huán)術(shù)語

4、集的LCS和MSC推理。
　　 提出了一種新的εL(n)描述圖，利用描述樹和描述圖給出了帶n元存在量詞的描述邏輯εL(n)的MSC近似推理算法，并利用εL(n)描述圖嵌套和εL(n)描述樹描述圖同態(tài)證明了MSC近似推理算法的正確性。
　　 提出了一種新的εL+描述圖，利用描述樹和描述圖給出了同時帶傳遞關(guān)系和存在量詞的描述邏輯εL+的。MSC近似推理算法并證明了算法的正確性。
　　 提出了描述語義下εL混合循環(huán)術(shù)語

5、集LCS和MSC存在的充要條件，以及充分條件下εL混合循環(huán)術(shù)語集的LCS和MSC的推理算法，并證明了推理算法的正確性和算法的時間復(fù)雜度是多項(xiàng)式時間的。
　　 (2)研究描述邏輯本體構(gòu)建的完備性問題。
　　 針對描述邏輯本體構(gòu)建中本體的完備性問題，研究了屬性探索算法在描述邏輯本體構(gòu)建中的應(yīng)用，分析了目前運(yùn)用屬性探索算法構(gòu)建本體時要求領(lǐng)域?qū)＜冶匦杈邆淙款I(lǐng)域知識的不足，研究了在領(lǐng)域?qū)＜也痪邆淙款I(lǐng)域知識情況下的本體構(gòu)建方法。

6、提出了面向不同描述邏輯系統(tǒng)的完備本體構(gòu)建方法，在描述背景下重新定義描述邏輯本體的完備性，給出不完備背景，構(gòu)造了一種在不完備背景下領(lǐng)域?qū)＜也荒芘袛鄬傩约祥g的蘊(yùn)含關(guān)系的描述邏輯本體構(gòu)建算法，該算法可以與領(lǐng)域?qū)＜医换カ@取蘊(yùn)含知識從而構(gòu)建知識庫，并且證明利用該方法構(gòu)建的本體是完備本體。
　　 (3)研究描述邏輯的有窮基問題。
　　 針對描述邏輯本體構(gòu)建中知識庫的冗余性，研究了描述邏輯的有窮基問題，提出了描述邏輯的描述背景，提出