描述逻辑EVL模拟关系及其性质

摘要

模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具。巴德尔(Baader)率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的。本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质。