基於描述邏輯的本體調試關鍵技術的研究

《基於描述邏輯的本體調試關鍵技術的研究》是依託東南大學，由漆桂林擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：基於描述邏輯的本體調試關鍵技術的研究
• 項目類別：青年科學基金項目
• 項目負責人：漆桂林
• 依託單位：東南大學

中文摘要

描述邏輯是一階謂詞邏輯的可判定子集，具有強大的推理機支持。它被看成是一種重要的本體語言，為Web本體語言OWL提供邏輯基礎。但是，它繼承了一階謂詞邏輯的一個弱點，就是不能夠處理邏輯不一致性。本體調試為解決這一弱點提供了實際解決方案。近年來，國內外對本體調試的工作取得了一些研究成果，並被用於處理一些現實的本體。但是，要使得本體調試工具能夠處理大規模本體並在實際套用中發揮作用，我們還需要解決本體調試的可伸縮性和調試結果的易懂性等關鍵問題。本項目首先研究基於描述邏輯的本體調試新算法和提升本體調試可伸縮性的最佳化技術。為了避免本體更新時的重複計算，研究遞增式本體調試技術。最後，為了設計用戶友好的本體調試工具，研究如何改進已有的可視化技術，以圖形化的形式展示調試結果。本項目的研究成果對描述邏輯的理論研究和在語義Web及其他領域的成功套用發揮重要作用。

結題摘要

描述邏輯是一階謂詞邏輯的可判定子集，具有強大的推理機支持。它被看成是一種重要的本體語言，為Web本體語言OWL提供邏輯基礎。描述邏輯已經被廣泛套用於語義Web、醫療等領域，用於知識的建模。雖然描述邏輯具有較強的知識表示能力，它繼承了一階謂詞邏輯的一個弱點，就是不能夠處理邏輯不一致性。本體調試為解決這一弱點提供了實際解決方案。近年來，國內外對本體調試的工作取得了一些研究成果，並被用於處理一些現實的本體。但是，要使得本體調試工具能夠處理大規模本體並在實際套用中發揮作用，我們還需要解決本體調試的可伸縮性和動態性等關鍵問題。本項目將研究對大規模OWL本體調試的創新技術，並且考慮在本體變化的情況下如何對本體進行調試。首先提出了描述邏輯DL-Lite和EL+ 中本體調試新算法和提升本體調試可伸縮性的最佳化技術。實驗證明新的算法和最佳化技術對Snomed CT和UOBM等超過百萬公理的本體調試是高效的。其次提出了針對OWL 2 RL的並行調試技術。實驗證明並行調試算法可以處理LUBM1000等上億三元組的本體調試。為了避免本體更新時的重複計算，研究遞增式本體調試技術。實驗說明該遞增式調試技術可以有效避免重複計算，提高調試效率。本項目的研究成果對描述邏輯的理論研究和在語義Web及其他領域的成功套用發揮重要作用。