ALC是DL的一种，DL包括很多种子语言，最基本的语言是 AL（Attributive Language）， ALC是AL的一个子语言，C表示Complement，但是这个Complement是对于任意的一个概念（因为在AL定义的仅仅是原子否定），你可以理解为对任意一个概念的否定，所以ALC（Attribute Language Complement）是在AL语言上加上可以对任意一个概念否定。