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