Lógicas de Descrição (DL) é uma família de formalismos para representar conhecimento que pode ser usada para representar taxonomias de um domínio formalmente. Lógicas de descrição, por um lado possuem uma sintaxe boa para descrever conceitos, por outro lado possuem uma semântica bem definida por uma tradução para lógica de primeira ordem. Lógicas foram desenvolvidas como uma extensão dos frames e das redes semânticas que não possuem semântica bem-definida.