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