首頁 > 期刊 > 人文社會科學 > 哲學與人文科學 > 世界文學 > 貴州工程應用技術學院學報 > 基于描述樹方法描述邏輯VL的包含推理 【正文】
基于描述樹方法描述邏輯VL的包含推理
王勇紅; 聶登國 江西師范高等專科學校數(shù)學學院; 江西鷹潭335000; 貴州工程應用技術學院理學院; 貴州畢節(jié)551700
- 描述邏輯
- 包含推理
- 描述樹
- 同態(tài)
摘要：描述邏輯是一族知識表示的語言,以形式化、結構化的方式表示相應的應用領域。描述邏輯VL非循環(huán)術語集的包含推理,通過將描述邏輯VL非循環(huán)術語集包含推理問題轉化為描述樹之間的同態(tài)問題,證明VL非循環(huán)術語集的包含推理問題是多項式時間復雜的。
- 描述邏輯
- 包含推理
- 描述樹
- 同態(tài)
摘要：描述邏輯是一族知識表示的語言,以形式化、結構化的方式表示相應的應用領域。描述邏輯VL非循環(huán)術語集的包含推理,通過將描述邏輯VL非循環(huán)術語集包含推理問題轉化為描述樹之間的同態(tài)問題,證明VL非循環(huán)術語集的包含推理問題是多項式時間復雜的。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
我們提供的服務
在線客服
一對一咨詢服務、簡單快捷、省時省力
了解更多 >
快遞配送
直郵到家、實時跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環(huán)節(jié)享受低價，物流進度實時通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價比高、成功率高
了解更多 >