基于描述树方法描述逻辑VL的包含推理

作者：王勇红; 聂登国

来源：贵州工程应用技术学院学报, 2019, 37(03): 16-19.

• 描述逻辑
• 包含推理
• 描述树
• 同态

描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL非循环术语集包含推理问题转化为描述树之间的同态问题,证明VL非循环术语集的包含推理问题是多项式时间复杂的。

• 单位
  江西师范高等专科学校; 数学学院; 贵州工程应用技术学院