El primer sistema basado en DL fue KL-ONE (por Brachman and Schmolze, 1985).
Están LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998), RACER (2001), CEL (2005), KAON 2 (2005) y JCEL (2010).
Nótese que la distinción entre TBox y ABox no es significante en el mismo sentido que en la lógica de primer orden (la cual subsume la mayoría de las DL).
Cuando se traduce a lógica de primer orden, un axioma de subsumición como (1) es simplemente un condicional restringido a predicados unarios (conceptos) donde sólo aparecen variables.
La principal razón es que esta separación puede ser útil para describir y formular procedimientos de decisión para varias DL.
Por ejemplo, un razonador podría procesar la TBox y la ABox por separado.
OWL no necesita la Suposición de Nombres Únicos (UNA por Unique Name Assumption).
A continuación se detallan los más populares razonadores para manejarse con OWL y con DL: Otras herramientas relacionadas con DLs incluyen los siguientes: Las lógicas
(AL por attributive language) constituyen una familia de lógica populares.
, la cual utiliza una notación estándar, comúnmente conocida como sintaxis alemana debido a la nacionalidad de sus creadores, que se ha adoptado ampliamente para la discusión teórica sobre DL.
Los operadores soportados por las lógicas de descripción, normalmente incluyen algunas o todas las conectivas lógicas estándares juntamente con uno o ambos operadores relacionales (cuantificadores universales y existenciales llamados restricciones de valor y restricciones existenciales).
La Semántica busca explicar la relación 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 teórico semántico.
Este modelo teórico fue propuesto por Tarski, donde los conceptos y roles se refieren a conjuntos de objetos en el dominio de interés y las relaciones entre ellos.
Para comprobarlo basta ver estos ejemplos de “información” básica sobre un dominio sencillo no expresable en
, pero añadiendo los elementos necesarios de forma que la complejidad computacional no sea intratable, ya que queremos poder razonar con esa lógica y, en particular, disponer de los algoritmos mínimos de satisfactibilidad, subsumición y consistencia.
Veamos los constructores más importantes utilizados para extender el lenguaje
Para ello se introducen nuevos elementos en el lenguaje y la semántica necesaria para formalizar las propiedades de los individuos del dominio y de las relaciones entre conceptos y roles, son las llamadas bases de conocimiento.
, y que se ha definido una TBox(axiomas terminológicos) para modelar un dominio.
Si se define un nuevo concepto es importante saber si es consistente o contradictorio con el TBox.
es un TBox, C y D conceptos: Una vez definida una TBox, al definir el ABox, las propiedades más importantes que habrá que verificar son las de la consistencia del Abox y el TBox , y la derivación de una instanciación a partir del ABox.
La importancia de esta lógica, radica en que es la que actualmente se está implementando para las ontologías dependiendo de las necesidades del programador.
Aunque extender una lógica con dominios concretos la dota de una expresividad muy valorada para representar ontologías, fácilmente puede llevar a la indecidibilidad.
es decidible y es base para el lenguaje de ontología actualmente más aceptado.
Las lógicas de descripción fueron pensadas como sistemas formales para representar conocimiento, y esto significa ir más allá de almacenar terminologías y descripciones.
En particular, significa poder derivar hechos implícitos a partir de los dados.
En el estudio de tales algoritmos el punto de partida es conocer su complejidad computacional (por ejemplo la complejidad EXPTIME y PSPACE).
Sin embargo, la complejidad del procedimiento de decisión 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 todavía es decidible) mientras que en
Otra manera de estudiar la complejidad es usando la conexión con las lógicas modales proposicionales.
, especificando las nuevas propiedades expresables en la extensión y los límites para la complejidad computacional.
https://web.archive.org/web/20080927155748/http://www.trafford.com/07-1729 Este un libro relaciona 16 clases de complejidad algorítmica respecto a espacio y tiempo.