描述逻辑系统UEVN中概念的包含关系

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等。过去人们主要研究那些不含数量限制的描述逻辑系统,该文研究的是描述逻辑系统UEVN中的一种重要的非标准推理,它同时含有了并、存在约束量词、全称约束量词和数字限制。利用定义UEVN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的充要条件。