Beschreibungslogiken (engl.
description logics), gelegentlich auch terminologische Logiken genannt, sind eine Familie von Sprachen zur
Wissensrepräsentation. Der Name soll einerseits den primären Einsatzzweck verdeutlichen, einen Weltausschnitt mit seinen Objekten und ihren Beziehungen untereinander zu beschreiben. Andererseits soll deutlich werden, dass sie im Unterschied zu ihren Vorgängern
Frames und
Semantischen Netzwerken auf formaler Logik basieren.