Lógicas de Descripción

Las lógicas de descripción son una familia de lenguajes formales de representación del conocimiento, fragmentos decidibles de la lógica de primer orden, utilizados para definir conceptos y razonar sobre la clasificación y la consistencia, notablemente como base de los lenguajes de ontología de la Web Semántica.

Definition

Una lógica de descripción es un formalismo basado en la lógica para representar los conceptos (clases), roles (relaciones) e individuos de un dominio, con una semántica precisa basada en modelos que hace que las tareas de razonamiento, como la subsunción de conceptos, sean decidibles.

Scope

Este tema abarca la familia de lógicas de descripción: conceptos, roles e individuos; la distinción entre conocimiento terminológico (la TBox de definiciones de conceptos) y conocimiento asertivo (la ABox de hechos sobre individuos); los servicios de razonamiento estándar de subsunción, clasificación, consistencia y verificación de instancias; y el espectro de expresividad-versus-complejidad desde lógicas ligeras hasta lógicas expresivas que subyacen al Lenguaje de Ontología Web (OWL). Las representaciones estructuradas informales se tratan bajo redes semánticas y ontologías.

Core questions

• ¿Cómo se construyen los conceptos composicionalmente a partir de conceptos atómicos y roles utilizando constructores como la conjunción, la restricción y la cuantificación?
• ¿Cuál es la diferencia entre una TBox de axiomas terminológicos y una ABox de aserciones?
• ¿Qué servicios de razonamiento estándar (subsunción, clasificación, consistencia, verificación de instancias) proporcionan los razonadores de lógica de descripción?
• ¿Cómo aumenta la expresividad la complejidad computacional del razonamiento?

Key concepts

• conceptos, roles, individuos
• TBox y ABox
• constructores y restricciones de conceptos
• subsunción
• clasificación
• consistencia y verificación de instancias
• OWL y la Web Semántica
• fragmentos decidibles de la lógica de primer orden

Key theories

Separación TBox/ABox

Las bases de conocimiento de lógica de descripción distinguen el conocimiento terminológico (definiciones de conceptos y roles en la TBox) del conocimiento asertivo (hechos sobre individuos específicos en la ABox), lo que permite un razonamiento separado pero interactivo sobre el esquema y los datos.

Subsunción y clasificación automática

La inferencia central de las lógicas de descripción es la subsunción, que decide si un concepto es necesariamente más general que otro, lo que permite a un razonador organizar automáticamente los conceptos en una jerarquía de clasificación y detectar inconsistencias.

Compromiso expresividad-complejidad

Las lógicas de descripción se eligen deliberadamente como fragmentos decidibles de la lógica de primer orden, y la adición de constructores aumenta la expresividad con un costo bien caracterizado en la complejidad del razonamiento, guiando el diseño de lenguajes de ontología como los perfiles OWL.

Clinical relevance

Las lógicas de descripción son la columna vertebral formal del Lenguaje de Ontología Web (OWL) y, por lo tanto, de grandes ontologías en biomedicina (como SNOMED CT), la Web Semántica y los grafos de conocimiento empresarial, donde la clasificación automatizada y la verificación de consistencia mantienen la coherencia de grandes vocabularios.

History

Las lógicas de descripción surgieron de representaciones estructuradas como KL-ONE de Brachman y Schmolze (1985), a medida que los investigadores buscaban semánticas formales y decidibilidad para sistemas basados en marcos y redes. A lo largo de las décadas de 1990 y 2000, su complejidad se mapeó con precisión y se adoptaron como la base del Lenguaje de Ontología Web (OWL) del W3C.

Key figures

• Ronald J. Brachman
• Franz Baader
• Ian Horrocks
• Diego Calvanese
• Deborah McGuinness

Seminal works

• brachman1985
• baader2007

Frequently asked questions

¿Cómo se relacionan las lógicas de descripción con la lógica de primer orden?

Las lógicas de descripción son fragmentos cuidadosamente elegidos de la lógica de primer orden. Sacrifican cierta expresividad para que las tareas clave de razonamiento, como decidir la subsunción entre conceptos, sigan siendo decidibles y a menudo eficientes, lo que la lógica de primer orden completa no garantiza.

¿Cuál es la diferencia entre la TBox y la ABox?

La TBox contiene conocimiento terminológico, las definiciones y axiomas generales sobre conceptos y roles, mientras que la ABox contiene aserciones sobre individuos particulares. El razonamiento utiliza ambos: la TBox describe cómo está estructurado el mundo y la ABox describe hechos específicos dentro de esa estructura.