Fundamentos de la web semántica
Perfilado de sección
-
El objetivo de esta Unidad es comprender los mecanismos de razonamiento que provee la Lógica de Descripciones
para poder utilizarla en la formalización de las ontologías y en el lenguaje de ontologías OWL.
Motivación para estudiar Lógica de Descripciones:
Como venimos viendo en el curso tratar el tema "semántica" es en sentido amplio encontrar una representación para el conocimiento. La investigación en el campo de la representación del conocimiento y del razonamiento se centra muchas veces sobre métodos para proporcionar descripciones de alto nivel de la realidad que puedan ser efectivamente utilizadas para construir aplicaciones inteligentes. En este contexto, "inteligente" se refiere a:
la capacidad de un sistema para encontrar consecuencias implícitas de su conocimiento explícitamente representado.
Tales sistemas se caracterizan, por lo tanto, como sistemas basados en el conocimiento.
En esta unidad del curso veremos una introducción a Lógica de Descripciones, en inglés: Description Logics (DL), una importante clase de los lenguajes de representación de conocimiento basados en lógica.
Lógica de Descripciones es de particular importancia pues proporciona un formalismo lógico para las ontologías y la web semántica: el lenguaje de ontología web (OWL).
En su forma más básica, Lógica de Descripciones posee dos características que justifican su desarrollo:
1.Lógicas de Descripciones son subconjuntos de lógica de primer orden, por lo que pueden considerarse como una forma de expresar la semántica para muchos formalismos como los basados en redes (Knowlegde Graphs). Sirven para desambiguar expresiones imprecisas por ejemplo de descripciones en lenguaje natural ¿cuál es exactamente el significado de la descripción "Las ranas son de color verde"? ¿Cada rana es solo verde? ¿cada rana es también verde? ¿hay una rana que es solo verde?
2. Lógica de Descripciones son las lógicas decidibles más expresivas con semántica clásica y procedimientos de razonamiento "buenos" (especialmente cuando se razona sobre grandes cuerpos de conocimiento). Esta última característica se ha logrado después de una considerable investigación sobre el equilibrio entre la expresividad de los formalismos lógicos de primer orden y la posibilidad de implementar dichos formalismos para la representación práctica y utilizable de grandes cuerpos de conocimiento de dominio y su razonamiento.
El uso de lógicas de descripciones para formalizar las ontologías las hace más expresivas que RDF(S). Es en ese sentido que las ontologías se ubican en la arquitectura de la web semántica por encima de RDF(S), pues consiguen representar más semántica del mundo real. ¿Cuál es la semántica que RDF(S) no puede expresar?
** HACER ACTIVIDAD INDIVIDUAL AI-1 sobre lo que no se puede representar con RDF(S), dudas enviarlas al foro.