描述逻辑ALC（attributive language with complements），理学-计算机科学技术-计算机科学理论-可计算模型-描述逻辑，描述逻辑中最典型的语言之一，用于知识表示和推理。描述逻辑ALC的全称为attributive language with complements，由施密特·朔（Schmidt-Schau）和斯莫尔卡（Smolka）在1991年给出。其从概念名（即一元谓词）和角色名（即二元谓词）出发，通过否定、析取、合取、存在性限定、值限定等五个构造符生成概念表达式，然后基于概念表达式对应用领域中的术语进行描述（称为TBox）；同时，与个体名结合生成概念断言和角色断言，对应用领域的具体状态进行刻画（称为ABox）；最后，由TBox和ABox一起构成知识库。给定由ALC刻画的知识库，最基本的推理问题是概念的可满足性问题，可通过Tableau算法进行高效的判定；该问题在TBox为空时为PSpace-完全（见PSPACE完全性），在TBox非空时为ExpTime-完全。