首页 > 期刊 > 人文社会科学 > 哲学与人文科学 > 世界文学 > 贵州工程应用技术学院学报 > 基于描述树方法描述逻辑VL的包含推理 【正文】
基于描述树方法描述逻辑VL的包含推理
江西师范高等专科学校数学学院; 江西鹰潭335000; 贵州工程应用技术学院理学院; 贵州毕节551700
- 描述逻辑
- 包含推理
- 描述树
- 同态
摘要：描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL非循环术语集包含推理问题转化为描述树之间的同态问题,证明VL非循环术语集的包含推理问题是多项式时间复杂的。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
我们提供的服务
在线客服
一对一咨询服务、简单快捷、省时省力
了解更多 >
快递配送
直邮到家、实时跟踪、更安全更省心
了解更多 >
杂志订阅
去除中间环节享受低价，物流进度实时通知
了解更多 >
杂志推荐
正版杂志，匹配度高、性价比高、成功率高
了解更多 >