Lgica de descripcin

Las lgicas de descripcin, tambin llamadas lgicas descriptivas (DL por description logics) son una familia
de lenguajes de representacin del conocimiento que pueden ser usados para representar conocimiento
terminolgico de un dominio de aplicacin de una forma estructurada y formalmente bien comprendida. El
nombre lgica de descripcin se refiere, por un lado, a descripciones de conceptos usadas para describir un
dominio y, por otro lado, a la semntica que establece una equivalencia entre las frmulas de lgicas de
descripcin y expresiones en lgica de predicados de primer orden. DL se dise como una extensin de
frames (marcos) y redes semnticas, los cuales no estaban equipados con semntica basada en la lgica. A
diferencia de los dems sistemas de representacin (redes semnticas y frames), estas lgicas estn dotadas con
una semntica formal basada en lgica y tienen caractersticas muy importantes como son:

Un formalismo descriptivo: conceptos, roles, individuos y constructores.

Un formalismo terminolgico: axiomas terminolgicos que introducen descripciones complejas y
propiedades de la terminologa descriptiva.
Un formalismo asertivo: que introduce propiedades de individuos.
Son capaces de inferir nuevo conocimiento a partir de conocimiento dado; tienen por tanto, algoritmos de
razonamiento que son decidibles.

Los elementos centrales del alfabeto del lenguaje de las lgicas de descripcin son:

Nombres de concepto (concept name): asignan un nombre a un grupo de objetos.

Nombres de rol (role name): asigna un nombre a una relacin entre objetos.
Nombres de individuos (u objetos): los individuos son instancias de los conceptos y tambin se pueden
relacionar por medio de un rol.
Constructores (constructor): relaciona nombres de conceptos y nombres de roles, y tambin crea
conceptos complejos a partir de los atmicos (complex concepts).
Definiciones de conceptos complejos: usa los smbolos y para declarar conjunto de igualdades y
conjuntos de inclusiones.

El nombre de lgica de descripcin es de los aos 1980s. Antes de esto se llamaba (cronolgicamente):
sistemas terminolgicos, y lenguajes de conceptos. Las lgicas de descripcin de hoy en da se han convertido
en una piedra fundamental de la web semntica para su uso en el diseo de ontologas.

El primer sistema basado en DL fue KL-ONE (por Brachman and Schmolze, 1985). Despus vinieron algunos
otros sistemas de DL. Estn LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998),
RACER (2001), CEL (2005), KAON 2 (2005) y JCEL (2010).

El desarrollo de OIL fue inspirado en DL.

ndice
1 Modelando con Lgicas de Descripcin
2 Diferencias con OWL
2.1 Terminologa
2.2 Nombres
3 Razonadores para Lgicas de Descripcin
4 La lgica
4.1 Sintaxis de
4.2 Semntica de
4.3 Extensiones de
5 Inferencias
6 Base de conocimiento
6.1 Razonamiento con conceptos (TBox)
 6.2 Razonando con individuos (ABox)
7 Sistema
7.1 Complejidad computacional del sistema
8 Vase tambin
9 Bibliografa
10 Enlaces externos

Modelando con Lgicas de Descripcin

En DLs, existe un distincin entre la llamada TBox (caja terminolgica) y la ABox (caja de aserciones). En
general, la TBox contiene sentencias describiendo conceptos jerrquicos ( i.e., relaciones entre conceptos)
mientras la ABox contiene sentencias "ground" indicando a donde pertenecen los individuos en la jerarqua
(i.e., relaciones entre individuos y conceptos). Por ejemplo, la frase:

(1) Cada empleado es una persona

pertenece a la TBox, mientras que la frase:

(2) Bob es un empleado

pertenece a la ABox. Ntese que la distincin entre TBox y ABox no es significante en el mismo sentido que
en la lgica de primer orden (la cual subsume la mayora de las DL). Las dos "clases" de sentencias se tratan de
igual forma. Cuando se traduce a lgica de primer orden, un axioma de subsumicin como (1) es simplemente
un condicional restringido a predicados unarios (conceptos) donde slo aparecen variables. Una sentencia de
esta forma no tiene un tratamiento distinto de las sentencias donde slo aparecen constantes (valores "ground ")
como en (2).

Entonces, por qu hacer esta distincin? La principal razn es que esta separacin puede ser til para describir
y formular procedimientos de decisin para varias DL. Por ejemplo, un razonador podra procesar la TBox y la
ABox por separado. Ciertos problemas claves de inferencia estn ligados a una pero no a la otra ('clasificacin'
est relacionado con la TBox, 'chequeo de instancia' a la ABox). Adems la complejidad de la TBox puede
afectar considerablemente el rendimiento de un procedimiento de decisin para cierta DL, independientemente
de la ABox. As resulta til una forma de hablar de una parte especfica de una base de conocimiento (KB).
Otro motivo de esta distincin es que tenga sentido desde el punto de vista del que modela la base de
conocimiento. Es conveniente poder distinguir entre los conceptos en el mundo (axiomas de clase en la TBox)
y las manifestaciones particulares de esos conceptos (aserciones de instancia en la ABox)

Diferencias con OWL

Terminologa
Un concepto en la jerga de DL se refiere a una clase en OWL. Un rol en la jerga de DL es una propiedad en
OWL.

Nombres
OWL no necesita la Suposicin de Nombres nicos (UNA por Unique Name Assumption).

Razonadores para Lgicas de Descripcin

A continuacin se detallan los ms populares razonadores para manejarse con OWL y con DL:

CEL es un razonador basado en LISP, gratuito para uso no comercial.

 Cerebra Engine es un razonador comercial basado en C++.
FaCT++ es un razonador basado en C++, gratuito open-source.
KAON2 es un razonador basado en Java, gratuito para uso no comercial.
MSPASS es un razonador basado en C, gratuito y open-source.
Pellet es un razonador basado en Java, gratuito open-source.
RacerPro es un razonador basado en LISP comercial, pero con trials gratuitos y licencias de
investigacin.

Otras herramientas relacionadas a DLs incluyen los siguientes:

Protg es un editor de ontologas y frameworks de bases de conocimiento, gratuito open-source. Puede

usar razonadores de DL que ofrecen una interfaz DIG para chequeos de consistencia.

La lgica
Las lgicas (AL por attributive language) constituyen una familia de lgica populares. Cada una agrega
letras a su nombre para indicar su poder expresivo. Una lgica popular es la lgica , la cual utiliza una
notacin estndar, comnmente conocida como sintaxis alemana debido a la nacionalidad de sus creadores, que
se ha adoptado ampliamente para la discusin terica sobre DL. Esta notacin usa los smbolos:

y para operadores de conjuncin y disyuncin, reflejando su interpretacin del modelo terico

como el conjunto de interseccin y unin.
y cuantificadores lgicos estndar, smbolos para restriccin de valor y restriccin existencial.
para el complemento.

Variedad de otros smbolos tambin pueden usarse para representar operadores adicionales, que sern descritos
ms adelante.

Los smbolos de relacin y se usan en axiomas y reflejan su interpretacin en el modelo terico como
conjunto de igualdad y conjunto de inclusin.

Sintaxis de
La sintaxis de estas lgicas soportan la descripcin lgica de conceptos, roles (relaciones) e individuos, donde
los conceptos y roles pueden ser combinados, usando una variedad de operadores, para formar expresiones ms
complejas. Los operadores soportados por las lgicas de descripcin, normalmente incluyen algunas o todas las
conectivas lgicas estndares juntamente con uno o ambos operadores relacionales (cuantificadores universales
y existenciales llamados restricciones de valor y restricciones existenciales).

Formalmente una terminologa en est definida por la siguiente formacin de reglas:

Los axiomas son de la forma:

donde C y D son las expresiones de concepto.

La expresiones de concepto de la forma:

CN es un nombre de concepto (conceptos atmicos) R es una expresin de rol.

El nombre de concepto (top) representa el concepto ms general. El nombre de concepto (bottom)

representa el concepto menos general.

Semntica de
Semntica de
La Semntica busca explicar la relacin que existe entre la sintaxis del lenguaje y los modelos previstos del
dominio, dando significado a las expresiones, el cual es dado por el modelo terico semntico. Este modelo
terico fue propuesto por Tarski, donde los conceptos y roles se refieren a conjuntos de objetos en el dominio
de inters y las relaciones entre ellos.

Formalmente el modelo terico se da por: el cual consta de un conjunto no vaco llamado el

dominio de y una funcin (la funcin de interpretacin de ) que asigna a cada concepto un subconjunto
de , cada rol a un subconjunto de y a cada individuo un elemento de , de tal manera que:

Es decir:

Un concepto es interpretado como un conjunto de individuos

Los roles son interpretados como conjuntos de pares de individuos.
Los conceptos atmicos se interpretan como subconjuntos del dominio de la interpretacin.

Mientras que la Semntica de los constructores son entonces especificados por definiciones de conjunto de
individuos denotados por cada constructor. Por ejemplo:

es el conjunto de individuos obtenidos por la interseccin de conjuntos de individuos denotados

por C y D, respectivamente.
es el conjunto de individuos que estn en la relacin R con los individuos que pertenecen al
conjunto denotado por el concepto C.

Extensiones de
El poder expresivo de una lgica de descripcin es la capacidad para representar conocimiento acerca del
dominio y depende de la riqueza de su lenguaje.

El lenguaje de la lgica no es muy expresivo. Para comprobarlo basta ver estos ejemplos de
informacin bsica sobre un dominio sencillo no expresable en :

Una mujer que tiene exactamente dos hijos (no es posible expresar restricciones numricas).
Todo hombre es hijo de una mujer (no es posible expresar el inverso de un rol).
La madre del padre es la abuela (no es posible expresar composicin de roles).

Es necesario extender el lenguaje de , pero aadiendo los elementos necesarios de forma que la
complejidad computacional no sea intratable, ya que queremos poder razonar con esa lgica y, en particular,
disponer de los algoritmos mnimos de satisfactibilidad, subsumicin y consistencia. Veamos los constructores
ms importantes utilizados para extender el lenguaje y tambin algunos de los sistemas obtenidos
extendindola.

Restricciones numricas :
Restricciones numricas cualificadas :
 Restricciones Funcionales :
Nominales :
Dominios concretos: Un dominio concreto D es un conjunto (el dominio) ms un conjunto pred(D)
de los nombres de predicado de D. Cada nombre de predicado P de D se asocia con una aridad n y un
predicado n-ario de .

Ejemplo: el dominio concreto , tiene como dominio el conjunto de los nmeros naturales y pred( ) el
conjunto de los predicados binarios < > .

Las lgicas de descripcin mucho ms expresivas tambin emplean constructores de roles, dado que los roles se
interpretan como relaciones binarias; esto implica definir constructores cuya Semntica es la de las operaciones
sobre relaciones. Donde: si R y S son descripciones de rol (atmico) tambin lo son:

Unin de roles:
Interseccin de roles:
Complemento de rol:
Composicin de roles:
Rol inverso :
Rol transitivo:

La terminologa tambin permite incluir jerarqua de roles donde los axiomas son de la forma:

La semntica para las expresivas lgicas de descripcin expuestas anteriormente se da; de la siguiente manera:

Axiomas Semntica Ejemplo

Axiomas Semntica Ejemplo

Inferencias
Las lgicas de descripcin son algo ms que lenguajes para formalizar conceptos, deben representar la
ontologa de un dominio de aplicacin y permitir razonar sobre l. Para ello se introducen nuevos elementos en
el lenguaje y la semntica necesaria para formalizar las propiedades de los individuos del dominio y de las
relaciones entre conceptos y roles, son las llamadas bases de conocimiento.

Base de conocimiento
La base de conocimiento est formada por dos componentes: el TBox y el ABox.

El TBox contempla toda la terminologa, o sea, el vocabulario de un dominio de aplicacin en funcin de:

Conceptos: denotan clases o conjunto de individuos.

Roles: denotan relaciones binarias entre los individuos.
Un conjunto de descripciones complejas sobre este vocabulario (restringidos, por su puesto, por el
lenguaje de descripcin).

El ABox contiene aserciones acerca de individuos nombrados en trminos de vocabulario.

Una base de conocimiento (TBox y ABox) es equivalente a un conjunto de axiomas de la LPO (Lgica de
primer orden), y por tanto se puede definir un clculo o sistema de inferencia que permite derivar
conocimiento implcito a partir del explcito de la base de conocimiento.

Razonamiento con conceptos ( TBox)

Supongamos que tenemos un lenguaje descriptivo para un dominio, por ejemplo , y que se ha definido
una TBox(axiomas terminolgicos) para modelar un dominio. Si se define un nuevo concepto es importante
saber si es consistente o contradictorio con el TBox. Esta propiedad se conoce como el concepto satisfacible (o
respectivamente insatisfacible) con respecto al TBox. Tambin puede ser necesario saber si un concepto es ms
general que otro, si son equivalentes o si son disjuntos. La formalizacin de estas propiedades es la siguiente:

Supongamos que es un TBox, C y D conceptos:

C es satisfactible con respecto a si existe un modelo tal que .

C es subsumido por D con respecto a si para todo modelo de , tenemos que . Esto
se escribe .

Razonando con individuos ( ABox)

Una vez definida una TBox, al definir el ABox, las propiedades ms importantes que habr que verificar son las
de la consistencia del Abox y el TBox , y la derivacin de una instanciacin a partir del ABox. Veamos
formalmente estos conceptos:

Supongamos que es un TBox, A es un ABox, C un concepto y o un nombre de individuo:

A es consistente con respecto a si existe una interpretacin que es modelo de y de A.

o:C se deriva de y A si todo modelo de cumple . esto es .

Sistema
Esta es otra notacin muy utilizada por algunos sistemas de lgicas de descripcin. La importancia de esta
lgica, radica en que es la que actualmente se est implementando para las ontologas dependiendo de las
necesidades del programador. El sistema se da de la siguiente manera:

es + roles transitivos + inclusin roles. es + nominales. Se demuestra

tambin que es extendida con restricciones cualificadas. es +
nominales + dominios concretos ( ).

Aunque extender una lgica con dominios concretos la dota de una expresividad muy valorada para representar
ontologas, fcilmente puede llevar a la indecidibilidad. Veremos, sin embargo, que es decidible
y es base para el lenguaje de ontologa actualmente ms aceptado.

Complejidad computacional del sistema

Las lgicas de descripcin fueron pensadas como sistemas formales para representar conocimiento, y esto
significa ir ms all de almacenar terminologas y descripciones. En particular, significa poder derivar hechos
implcitos a partir de los dados. Por este motivo la implementacin de procesos de inferencia debe tener en
cuenta la posibilidad de usar algoritmos de inferencia ptimos. En el estudio de tales algoritmos el punto de
partida es conocer su complejidad computacional (por ejemplo la complejidad EXPTIME y PSPACE).

Encontrar algoritmos de decisin para los problemas de inferencia como satisfactibilidad, subsumicin y
consistencia en ABoxes para lgicas de descripcin expresivas y con la menor complejidad posible, de forma
que la implementacin computacional sea afrontable, la cual es todo un reto.

La bsqueda de estos procedimientos de decisin ha sido uno de los objetivos fundamentales en el desarrollo de
las lgicas de descripcin. Una de las maneras de obtenerlos es estudiando la conexin de las lgicas de
descripcin con otras lgicas conocidas. Es el caso de la decidibilidad en y en todas sus extensiones que
se obtienen aadiendo constructores que en la LPO se pueden expresar con dos variables. Sin embargo, la
complejidad del procedimiento de decisin obtenido de esta manera es normalmente mayor del que realmente
se necesita; por ejemplo el problema de satisfactibilidad para la LPO con dos variables es NEXPTIME (que es
una complejidad muy grande, aunque todava es decidible) mientras que en es PSPACE-hard (es una
complejidad menor). Otra manera de estudiar la complejidad es usando la conexin con las lgicas modales
proposicionales.

En la siguiente tabla se presentara las principales extensiones de , especificando las nuevas propiedades
expresables en la extensin y los lmites para la complejidad computacional.
 DL Propiedad expresable en la lgica Complejidad

lgica de descripcin bsica PSPACE

+ restricciones numricas no calificadas PSPACE

reg + expresiones regulares sobre roles (reg) EXPTIME

reg + inverso de roles EXPTIME

reg + restricciones funcionales sobre roles atmicos EXPTIME

reg + restricciones numricas calificadas EXPTIME

reg + un alfabeto para los objetos del dominio EXPTIME

+ roles transitivos + inclusin roles EXPTIME

+ restricciones numricas no calificadas EXPTIME

+ nominales NEXPTIME

+ dominios concretos EXPTIME

http://www.trafford.com/07-1729 Este un libro relaciona 16 clases de complejidad algortmica respecto a

espacio y tiempo. Y resuelve algunas igualdades.

Vase tambin
Web semntica
Ontologa (Informtica)
DAML+OIL
OWL
RACER system
KAON

Bibliografa
F. Baader, D. Calvanese, D. L. McGuiness, D. Nardi, P. F. Patel-Schneider: The Description Logic
Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge, UK, 2003.
ISBN 0-521-78176-0

Enlaces externos
http://dl.kr.org/
Curso Introduction to Description Logics
Navigator on Description Logic Complexity

Obtenido de https://es.wikipedia.org/w/index.php?title=Lgica_de_descripcin&oldid=99003643

Se edit esta pgina por ltima vez el 10 may 2017 a las 02:48.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.