描述邏輯

描述邏輯（DL）是一個形式化知識表示語言的家族。許多DL比命題邏輯的表達能力強，但比一階邏輯的表達能力弱。與后者相比，DL的核心推理問題（通常）是可解的，并且已經為這些問題設計和實現了有效的決策程序。有一般的、空間的、時間的、時空的和模糊的描述邏輯，每一種描述邏輯的特點是通過支持不同的數學構造器集，在表達能力和推理復雜性之間取得不同的平衡。DL在人工智能中被用來描述和推理一個應用領域的相關概念（稱為術語知識）。它在為本體和語義網提供邏輯形式主義方面具有特別重要的意義：網絡本體語言（OWL）及其配置文件是基于DLs的。DL和OWL最引人注目的應用是在生物醫學信息學中，DL協助生物醫學知識的編纂。

描述邏輯（DL）對概念、角色和個體及其關系進行建模。DL的基本建模概念是公理--與角色和/或概念相關的邏輯聲明。這是與框架范式的一個關鍵區別，在框架范式中，框架規范聲明并完全定義了一個類。與FOL和OWL相比的術語描述邏輯社區對操作上的等價概念使用了與一階邏輯（FOL）社區不同的術語；下面給出了一些例子。網絡本體語言（OWL）再次使用了不同的術語，也在下表中給出。

描述邏輯有很多種類，有一個非正式的命名規則，大致上描述了允許的操作符。表達性被編碼在一個邏輯的標簽中，以下列基本邏輯之一開始。緊隨其后的是以下任何一種擴展。

一些不完全適合這個慣例的典型DL是。

這種方法的特點是DL的表達能力有限，但推理效率相對較高（多項式時間）。在90年代初，一種新的基于tableau的算法范式的引入允許在更具表達力的DL上進行高效推理。使用這些算法的基于DL的系統--如KRIS（1991）--在典型的推理問題上顯示出可接受的推理性能，盡管最壞的情況下復雜度不再是多項式的。