论文研究 描述逻辑系统UEVN中概念的包含关系.pdf

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