Logica de Descripciones

Curso Uruguay 2018

del 26 de Noviembre al 7 de diciembre (90 horas)

Docente

Paula Severi (Department of Informatics, University of Leicester) pagina web de Paula Severi

Quienes pueden hacer este curso?

Estudiantes de grado y posgrado en matematica y/o informatica ver pdf

Horarios (CAMBIO DE HORARIOS!)

A partir del 28 de Noviembre el curso se realizara de maniana de las 9 a las 12

1. Teoricos
   1. Lunes, Miercoles y Viernes
   2. Primera clase (26 de Noviembre) fue de 17 a 20 pero el resto de las clases van a ser de 9 a 12
2. Practicos
   1. Martes y Jueves
   2. Primera clase (martes 27 de Noviembre) de 17 a 20 pero el resto de las clases de 9 a 12

Lugar

7to piso de la Facultad de Ingenieria

1. ver en google maps
2. ver en openstreet map

Programa

• Logica de Descripciones basica ALC
  • Introduccion slides
  • ALC slides
  • Teoria de modelos slides
  • Relacion con otras logicas slides
• OWL como Logica de Descripciones
  • OWL como DL slides
  • Relaciones narias slides
  • Demo ontologia family.owl. Archivo mp4. Salvarlo para poder abrir
• Razonamiento usando Tableaux
  • Repaso logica slides
  • Satisfactibilidad de conceptos en ALC slides
  • Consistencia de Tbox aciclica slides
  • Consistencia de Tbox general ALC slides
  • Consistencia de extensiones de ALC slides
  • Metamodelado slides
• Computabilidad
  • Indecidibilidad de ALC con restricciones de cardinalidad y roles complejos slides
  • Indecidibilidad de conservatividad en ALCQOI slides
• Complejidad
  • Complejidad de la satisfactibilidad en ALC slides
• Consultas slides
• Razonamiento en logicas livianas
• Clasificacion en EL slides
• Extension conservativa y modulos
  • Extension conservativa slides
  • Modulos slides

Bibliografia

1. An introduction to Description Logic. Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler Cambridge University Press, 20 Apr 2017 resources
2. Description Logic Handbook: Theory, Implementation, and Applications pdf 500 paginas
3. Description Logics articulo pdf
4. Herramientas
   1. Lenguaje de ontologias OWL W3C
   2. Editor de ontologias Protege
   3. Plataforma para consultas de bases de datos relacionales como grafos virtuales

Practicos

1. Practico ALC pdf
2. Practico OWL pdf
   • Ontologia de la familia generations.owl
   • Ontologia de enfermedades Diseases.owl
3. Practico SROIQ pdf
4. Practico Tableaux pdf
5. Practico EL pdf
6. Practico extensiones conservativas pdf

Evaluacion del curso: seleccion de ejercicios del practico.

Fecha de entrega hasta el 28 de febrero 2019.

1. Practico ALC. Ejercicios 5, 8 y 9
2. Practico OWL. Ejercicios 4 y 6
3. Practico SROIQ. Ejercicios 3 y 4
4. Practico Tableaux. Ejercicios 3, 4 , 5.5 y 7.1
5. Practico EL. Ejercicios 1 y 2
6. Practico extensiones conservativas. Ejercicios 1 y 4

Si me entregan las soluciones escritas en latex, pueden usar xypic para los grafos. Bajar tutorial de xy pic.