描述逻辑及模态扩充的模型.pdfVIP

描述逻辑及其模态扩充的模型 研究生：余 泉 导师：王 驹 教 授 专业：基础数学 研究方向：数理逻辑 年级：2004 级 摘 要 本文主要讨论描述逻辑及其模态扩充的模型，分两方面进行：其一是考虑循 环ALCN 的 Tbox 具有模型的条件，指出了文献[1]中命题2.9 的错误，并对命题 2.9 进行了一些修改；另一部分是对描述逻辑ALC 进行模态扩充，定义其语法与 语义，把ALC 的模态扩充记为MALC ，讨论其模型的不同构造方法。 文献[1]中命题2.9 为（为了使用方便，下文中用命题2.9 代指文献[1]中命题 2.9 ）： Let T be a terminology such that each cycle in G contains an even number of T negative arcs , then T is monotone. 本文的主要工作分为如