ALC~+相关论文
本文首先介绍了描述ALC语法和语义,并指出ALC的不足;然后提出了ALC~+,它在ALC的基础上增加了传递关系、反关系、关系并、关系复合......
描述逻辑（Description Logic）是基于对象的知识表示的形式化,它依据提供的构造器,在简单的概念和关系上构造出复杂的概念和关系.本文......
