描述逻辑

描述逻辑（DL）是一个形式化知识表示语言的家族。许多DL比命题逻辑的表达能力强，但比一阶逻辑的表达能力弱。与后者相比，DL的核心推理问题（通常）是可解的，并且已经为这些问题设计和实现了有效的决策程序。有一般的、空间的、时间的、时空的和模糊的描述逻辑，每一种描述逻辑的特点是通过支持不同的数学构造器集，在表达能力和推理复杂性之间取得不同的平衡。DL在人工智能中被用来描述和推理一个应用领域的相关概念（称为术语知识）。它在为本体和语义网提供逻辑形式主义方面具有特别重要的意义：网络本体语言（OWL）及其配置文件是基于DLs的。DL和OWL最引人注目的应用是在生物医学信息学中，DL协助生物医学知识的编纂。

描述逻辑（DL）对概念、角色和个体及其关系进行建模。DL的基本建模概念是公理--与角色和/或概念相关的逻辑声明。这是与框架范式的一个关键区别，在框架范式中，框架规范声明并完全定义了一个类。与FOL和OWL相比的术语描述逻辑社区对操作上的等价概念使用了与一阶逻辑（FOL）社区不同的术语；下面给出了一些例子。网络本体语言（OWL）再次使用了不同的术语，也在下表中给出。

描述逻辑有很多种类，有一个非正式的命名规则，大致上描述了允许的操作符。表达性被编码在一个逻辑的标签中，以下列基本逻辑之一开始。紧随其后的是以下任何一种扩展。

一些不完全适合这个惯例的典型DL是。

这种方法的特点是DL的表达能力有限，但推理效率相对较高（多项式时间）。在90年代初，一种新的基于tableau的算法范式的引入允许在更具表达力的DL上进行高效推理。使用这些算法的基于DL的系统--如KRIS（1991）--在典型的推理问题上显示出可接受的推理性能，尽管最坏的情况下复杂度不再是多项式的。