基於形式概念分析的描述邏輯本體構建理論與方法

《基於形式概念分析的描述邏輯本體構建理論與方法》是依託華南師範大學，由蔣運承擔任項目負責人的面上項目。

基本介紹

• 中文名：基於形式概念分析的描述邏輯本體構建理論與方法
• 項目類別：面上項目
• 項目負責人：蔣運承
• 依託單位：華南師範大學

項目摘要

近年來描述邏輯已成為計算機科學和人工智慧的一個重要研究領域，主要原因在於描述邏輯是目前主流的Web本體語言的邏輯基礎。描述邏輯推理必須建立在知識庫（或本體）之上，因而，如何快速、準確的構建一致和完備的描述邏輯本體已成為一個迫切需要解決的問題。本項目在課題組已有工作的基礎上研究基於形式概念分析的描述邏輯本體構建理論與方法，針對不同描述邏輯（包括經典描述邏輯和帶循環定義的描述邏輯）和不同初始模型（包括全局模型、部分模型和部分ABox），建立背景本體下近似LCS和MSC推理機制、本體有窮基判斷及計算方法、本體完備化構建方法，以完善和重構描述邏輯本體構建的理論框架為主要研究目標。在開展理論研究的同時，本項目還將開發一套完整的輔助用戶構建本體的推理工具，並面向教育領域構建一套本體庫來驗證本項目研究的理論、方法以及開發的推理工具的有效性。這些研究將對計算機科學和人工智慧的理論及技術發展產生一定的影響。

結題摘要

隨著大數據時代的到來，如何有效的處理各種各樣的異構信息是計算機和IT領域目前面臨的一個重要科學問題，特別是如何從語義計算的角度來研究信息的智慧型處理方法，即如何利用語義技術來實現快速、準確的海量信息的智慧型處理是目前計算機科學的一個很有意義的研究方向。 本項目研究主要為本體構建（特別是描述邏輯本體構建）提供理論和方法支持，涉及到兩個研究層面：理論上研究本體構建的理論與方法、實際套用上驗證本體的正確性（即本體套用）。針對本體構建及其套用（為各種實際套用提供語義支持），本項目按照項目計畫書的研究計畫，深入研究了語義信息處理（或語義計算）的相關理論、方法及套用，主要研究內容包括：本體（特別是描述邏輯本體）構建、語義相似度計算、語義數據查詢、詞計算形式化模型、信息系統（或形式背景）不確定性度量、形式概念分析的語義相似度計算、多準則決策模型等。獲得的主要研究成果：基於保守擴充理論提出了模組化本體重用方法；基於Wikipedia提出了一種基於特徵的概念語義相似度計算框架以及一些概念語義相似度計算方法；提出了一些基於Wikipedia概念信息量的概念語義相似度計算方法；建立了一種面向連結數據（或關聯數據 ）Linked Data的語義擴展查詢模型；基於區間二型模糊集理論提出了一種詞計算形式化模型；擴展了傳統模糊信息系統的不確定性度量方法，分別提出了一種度量區間值和直覺模糊信息系統的熵的定義表達式；研究了認知干擾下多準則決策問題，提出了一種基於DS/AHP模型的決策方法；以及提出了一種基於DS理論和含糊規避的決策模型等。 本項目執行期間取得的成果：共發表或錄用10篇學術論文，其中國際SCI刊物發表4篇（Information Processing & Management發表2篇、Information Sciences發表2篇）、國際SCI刊物錄用2篇（International Journal on Semantic Web and Information Systems錄用1篇、International Journal of Intelligent Systems錄用1篇）、人工智慧領域頂級會議AAAI（AAAI 2017）錄用1篇、國內一級刊物《軟體學報》發表1篇等；培養了18名碩士生，正在培養1名博士後、2名博士生和9名碩士生；獲得3項軟體著作權和1項廣東省科技成果登記。