基於描述邏輯的複雜本體非經典知識表示和推理研究

《基於描述邏輯的複雜本體非經典知識表示和推理研究》是依託南京大學，由李言輝擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：基於描述邏輯的複雜本體非經典知識表示和推理研究
• 項目類別：青年科學基金項目
• 項目負責人：李言輝
• 依託單位：南京大學

項目摘要

本體知識表示和推理是語義Web研究熱點，本項目中擬討論基於描述邏輯的當前本體語言OWL2的表示和推理研究。申請人將原有工作的基礎上深入探討下面三方面的問題：.(1)當前OWL2模糊擴展的主要推理手段經典轉化方法被證明是不完備的，項目擬針對模糊語義下複雜的OQ運算元、RBox以及複雜聲明設計相應的Tableau算法並證明算法正確完備性。.(2)由於模糊語義原比經典語義複雜，包含多種不同的解釋選擇，不同語義的局部模糊本體難以整合。項目擬採用隸屬度函式來表示模糊語義並採用局部級聯技術形成全局本體。.(3)當前很多Web套用領域需要將模糊知識與動態知識綜合表示，本項目擬引入動態維來表示對象的動態變化，研究動態模糊描述邏輯推理問題，設計實現推理算法。.在理論上，本項目的預期研究成果是對當前本體和描述邏輯理論的進一步完善；在套用上，本項目將為語義 Web的知識表示語言提供一種有力的待選方案。

結題摘要

本項目力圖將描述邏輯、本體等複雜的知識表示和推理模型引入套用領域，檢測和驗證複雜知識模型在相關套用領域中的作用，具體的工作包括：基於複雜知識模型的缺陷預測模型建立與性能比較研究、基於描述邏輯的Web服務構建、基於知識關聯的Python語言的經驗軟體工程和基於多學習器多場景下的集成測試結果分析與預測。本項目的工作表明通過引入複雜知識表示模型，能提升相關領域的套用模型表示能力，從而提升模型的性能。經過項目組成員的共同努力，完成了相應的研究內容，發表論文18篇，其中在國際期刊3篇(1篇CCF A，2篇CCF B)，國際會議6篇(1篇CCF B，1篇CCF C)。