ALC，全称为Attribute Language Complement，是DL（描述逻辑）中的一个子语言。DL是一个庞大的逻辑体系，包括众多子语言，其中最基本的语