首頁 > 期刊 > 人文社會科學(xué) > 哲學(xué)與人文科學(xué) > 世界文學(xué) > 貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報 > 描述邏輯FL0循環(huán)術(shù)語集的保守擴充 【正文】
描述邏輯FL0循環(huán)術(shù)語集的保守擴充
聶登國; 王勇紅 貴州工程應(yīng)用技術(shù)學(xué)院理學(xué)院; 貴州畢節(jié)551700; 江西師范高等專科學(xué)校數(shù)學(xué)學(xué)院; 江西鷹潭335000
- 保守擴充
- 描述邏輯
- 本體
- 包含推理
摘要：本體的保守擴充是本體構(gòu)建、本體重構(gòu)的核心理論與工具。本體把領(lǐng)域知識形式化,實現(xiàn)人機之間的知識共享及知識重用。基于描述邏輯的本體保守擴充是目前研究者們所關(guān)注的焦點。盧茨(Lutz)等提出的典范模型(CanonicalModel)方法解決了非循環(huán)描述邏輯EL的保守擴充問題。研究了描述邏輯FL0的術(shù)語集的保守擴充問題,給出描述邏輯FL0循環(huán)術(shù)語集在最大不動點模型下的保守擴充算法。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
我們提供的服務(wù)
在線客服
一對一咨詢服務(wù)、簡單快捷、省時省力
了解更多 >
快遞配送
直郵到家、實時跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環(huán)節(jié)享受低價，物流進度實時通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價比高、成功率高
了解更多 >