Seminario IntegraWeb - 23 Marzo Razonadores en la Web Semántica Gonzalo A. Aranda Corral

Seminario IntegraWeb - 23 Marzo Guión: La Web Semántica: Demostración y confianza Ontologías como “conocimiento común” Razonamiento Automático Razonamiento argumentativo  Raz. Arg. con información inconsistente Líneas de investigación

Seminario IntegraWeb - 23 Marzo Web Semántica Propuesta por Tim Berns Lee La Web Semántica es una WWW donde los metadatos son procesables por máquinas Las máquinas entienden la información contenida en la Web Semántica

Seminario IntegraWeb - 23 Marzo Web Semántica wwwWeb Semántica Leng.de representaciónHTMLXML Leng. de rep. semánticaNo tieneRDF Ref. semánticosNo tieneOntologías (p.e. OWL) Raz. con los datosPuramente sintácticoRaz. automático Confianza en los resultados InseguraLógica

Seminario IntegraWeb - 23 Marzo ¿Qué necesitamos?  Un lenguaje común para la comunicación  Que la información no sea ambigua  Razonamiento automático  No sólo demostración automática; se necesita razonamiento con conocimiento común

Seminario IntegraWeb - 23 Marzo El Pastel

Seminario IntegraWeb - 23 Marzo ¿Qué es una ontología? Una ontología es una representación explícita de alguna parte de una conceptualización (Gruber, 1993) Title Name Price Year Publisher Sinopsis Name Author Book The Da Vinci Code Dan Brown € 2006 P1 Robert Langdon… Doubleday A1 B1

Seminario IntegraWeb - 23 Marzo ¿Cómo procesarlo? Todo metadato de la WS susceptible de ser procesado debe estar referenciado con respecto a una ontología: Pero, realmente

Seminario IntegraWeb - 23 Marzo El Pastel con “gafas lógicas”

Seminario IntegraWeb - 23 Marzo WS en acción

Seminario IntegraWeb - 23 Marzo Soluciones Mantener el equilibrio entre la eficiencia del razonamiento y la expresividad  Mantener ontologías robustas  Refinar los algoritmos de razonamiento automático  Potentes demostradores automáticos  Técnicas de representación y razonamiento del conocimiento originales de IA

Seminario IntegraWeb - 23 Marzo Tareas Búsqueda de información Extracción de información Mantenimiento de recursos débilmente estructurados Generación automática de documentos Tareas complejas: Servicios Web Semánticos

Seminario IntegraWeb - 23 Marzo Razonamiento ontológico automatizado Formalización correctamente de ontologías Agentes inteligentes Una opción: adaptar la lógica de primer orden  Dificultad: la lógica de primer orden completa no es decidible Opción razonable: limitar la expresividad de la lógica de primer orden  Un lenguaje que sirva para trabajar con clases, instancias, etc.

Seminario IntegraWeb - 23 Marzo Lógicas descriptivas (DL) Fundamentación en las redes semánticas y marcos Proporcionan semántica a los lenguajes de ontologías para la Web Semántica La componente principal es el lenguaje de conceptos: un conjunto de constructores de clases y relaciones entre éstas El lenguaje de conceptos elegido debe ser suficientes para expresar la ontología

Seminario IntegraWeb - 23 Marzo Sintaxis Lenguaje compuesto de:  Símbolos Ejemplo: Padre es un nombre de concepto, TieneHijo(x,y) es un nombre de rol  Constructores: operadores para componer expresiones complejas  Dos tipos de expresiones: Expresiones para conceptos Expresiones para roles

Seminario IntegraWeb - 23 Marzo Ejemplo de Ontología en DL

Seminario IntegraWeb - 23 Marzo Semántica:

Seminario IntegraWeb - 23 Marzo

Seminario IntegraWeb - 23 Marzo Razonamiento Problemas centrales del razonamiento  Satisfactibilidad de un concepto.  Subsunción.  Consistencia.  Comprobación de instancias.

Seminario IntegraWeb - 23 Marzo Razonamiento Otros problemas  Clasificación  Obtención de respuestas

Seminario IntegraWeb - 23 Marzo Todo es satisfactibilidad

Seminario IntegraWeb - 23 Marzo Substrato lógico del razonamiento

Seminario IntegraWeb - 23 Marzo Sistemas de razonamiento Basado en tableros  Fact++  RacerPro  Pellet Basado en resolución  Kaon  Etc...

Seminario IntegraWeb - 23 Marzo Uso de RA en ingeniería ontológica Vamos a realizar una sesión con Protégé Conecta con un razonador externo mediante el protocolo DIG. Usaremos RACER

Seminario IntegraWeb - 23 Marzo Protégé & PIZZA

Seminario IntegraWeb - 23 Marzo Protégé & PIZZA & REASONING

Seminario IntegraWeb - 23 Marzo Uso de RA en Extracción de conocimiento

Seminario IntegraWeb - 23 Marzo Uso en extracción de información The Inference Web consists of two important components: Proof Markup Language (PML) Ontology –  provenance information  justification information  trust information IW Toolkit - web based

Seminario IntegraWeb - 23 Marzo Inference Web

Seminario IntegraWeb - 23 Marzo Buscador

Seminario IntegraWeb - 23 Marzo Explicacion

Seminario IntegraWeb - 23 Marzo Explicación de por qué?

Seminario IntegraWeb - 23 Marzo Confianza

Seminario IntegraWeb - 23 Marzo Uso de RA en Razonamiento paraconsistente (Ontología única)

Seminario IntegraWeb - 23 Marzo Algunos axiomas de la ontología Datos incoherentes son inconsistentes:

Seminario IntegraWeb - 23 Marzo Rol “incoherente” Instancias/axiomas del rol “incoherente”

Seminario IntegraWeb - 23 Marzo ¿Cómo fusionar las noticias? Se puede demostrar a partir de UN subconjunto contenido en CUALQUIER maximal consistente de la bc Delta

Seminario IntegraWeb - 23 Marzo Extrayendo información útil

Seminario IntegraWeb - 23 Marzo MAPPING ¿Y si evoluciona la ontología? Inconsistencia por la evolución de la ontología Flipper PezDelfinMamifero Es_un Subclase_de PezDelfinMamifero Subclase_de Versión 1 Versión 2 Subclase_de

Seminario IntegraWeb - 23 Marzo ¿Y si evoluciona la ontología (II)? MAPPING Flipper PezDelfinMamifero Es_un Subclase_de PezDelfinMamifero Subclase_de Versión 1 Versión 2 Subclase_de

Seminario IntegraWeb - 23 Marzo Razonamiento paraconsistente en la WS Es posible obtener información útil a partir de conocimiento inconsistente En el caso de información con estructura simple, el análisis es sencillo El análisis está soportado por conceptos lógicos

Seminario IntegraWeb - 23 Marzo Razonamiento paraconsistente en la WS Limitaciones:  La estructura argumentativa no se puede calcular entera para una B.C. grande. Sólo se aplica a extractos donde localizamos la inconsistencia.  Los demostradores automáticos puedes ofrecer demasiados argumentos: ¿Cómo seleccionar los importantes? IW no esta preparado para razonar con inconsistencias... Y seria muy necesario para la WS

Seminario IntegraWeb - 23 Marzo

Seminario IntegraWeb - 23 Marzo Línea de Investigación: verificación de sistemas de razonamiento

Seminario IntegraWeb - 23 Marzo Proyecto del Grupo de Lógica Computacional del Dpto. de CCIA Sistemas verificados para el razonamiento en la Web semántica (TIN ) Línea I: Razonamiento automático certificado con ontologías  Supraconfianza Lógica  Marco genérico de verificación de algoritmos para agentes certificado en ACL2.  Desarrollo verificado de la teoría de la demostración en lógicas subyacentes en OWL (desarrollada en PVS).

Seminario IntegraWeb - 23 Marzo Todo verificado

Seminario IntegraWeb - 23 Marzo Línea II: Certificación del mantenimiento/evolución de ontologías Evolución garantizada de ontologías asistida por SRA:  Caracterización de ontologías robustas  Extensiones robustas:  Fusiones  Evolución (inserción de nuevos objetos, etc.)

Seminario IntegraWeb - 23 Marzo Línea II: Certificación del mantenimiento/evolución de ontologías El grupo ha realizado las certificaciones lógicas La implementación.... Es donde voy a empezar a trabajar.

Seminario IntegraWeb - 23 Marzo MUCHAS GRACIAS POR VUESTRA ASISTENCIA Gonzalo A. Aranda Corral