Lógicas de descripción

Las lógicas de descripción (DL) son lógicas que sirven principalmente para la descripción formal de conceptos y roles (relaciones). Estas lógicas surgieron de los intentos por formalizar redes semánticas y sistemas basados en marcos. Semánticamente se basan en la lógica de predicados, pero su lenguaje está formado de tal manera que sea suficiente para fines prácticos de modelado y también para que la lógica tenga buenas propiedades computacionales, como la decidibilidad. El foco de la investigación en DL es cuán utilizables son los distintos constructos de DL en aplicaciones del mundo real y cuál es su impacto en la complejidad del razonamiento.

Un sistema de representación del conocimiento basado en DL consta de dos componentes: TBox y ABox. El TBox describe la terminología, es decir, la ontología en forma de definiciones de conceptos y roles, mientras que el ABox contiene aserciones sobre individuos usando los términos de la ontología. Los conceptos describen conjuntos de individuos; los roles describen relaciones entre individuos.