Las lógicas de descripción son algo más que lenguajes para formalizar conceptos, deben representar la ontología de un dominio de aplicación y permitir razonar sobre él.