描述逻辑是知识表示体系族中最近才使用的名字，以前称为术语知识的表示语言、概念语言、项包含语言等，是一类知识表示的形式系统。它的基本构件是概念、角色。除了原子概念和角色外，所有描述逻辑系统允许建构概念和角色更复杂的描述，这就需要在基本语言上添加额外的构造子，也正是通过不同的描述语言来区分描述逻辑的不同系统。这种扩充可分为经典描述逻辑的扩充和非经典描述逻辑的扩充。前者是通过添加概念构造子、关系构造子、约束关系来扩充描述语言；而后者是通过具体领域限制，添加模态、时态算子，概率和模糊逻辑扩充、缺省逻辑扩充使描述逻辑具有更强的表达力。但是描述逻辑不是单纯的概念表示语言，它还支持表示领域知识的知识库。它的知识库由两部分组成-TBox和ABox。前者表示术语公理，表示概念间的包含与等价关系的知识；而ABox表示事实的断言，陈述个体与概念以及个体对和关系间的隶属关系。在经典逻辑中，概念是为推理服务的。而描述逻辑以对象为中心，主要讨论概念之间的分层、包含，个体与概念之间的属于与否的关系，并且存在着物质化关系，甚至有的描述语言通过添加鉴别器等对概念进行表示。因此，描述逻辑比经典逻辑更直观、更准确、易于处理。
　　 知识表示是将关于世界的事实、关系、过程编码成一种合适的数据结构。而在众多的知识表示方法中，有两种非常重要：语义网络和框架系统。采用语义网络和框架表示知识虽然给人一种直观的感觉，但是它们缺乏精确的语义描述，尤其在多系统交互时，存在无法获取其共享语义的缺陷。描述逻辑的语义可化为一阶逻辑，克服了语义网络和框架没有正式的明确语义的缺点，另外，一阶逻辑的可满足性问题在整体上是不可判定的，但描述逻辑是一阶逻辑的可判定子集，而且它有较好的表达力，这可以看作是表达力和复杂性两者之间平衡后的一种比较好的结果。因此，描述逻辑的知识表示方法继承语义网络和框架的特点，比一阶逻辑更具灵活性与可理解性。