ALC是DL的一種,DL包括很多種子語言,最基本的語言是 AL(Attributive Language), ALC是AL的一個子語言,C表示Complement,但是這個Complement是對於任意的一個概念(因為在AL定義的僅僅是原子否定),你可以理解為對任意一個概念的否定,所以ALC(Attribute Language Complement)是在AL語言上加上可以對任意一個概念否定。