Las lógicas de descripción, también llamadas lógicas descriptivas (DL por "description logics") son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de aplicación de una forma estructurada y formalmente bien comprendida.