Como trabajo práctico de la materia (que puede sumar entre 10% y 30% de la nota final, nunca restar), se puede trabajar sobre razonamiento sobre ontologías, posiblemente realizadas en el trabajo práctico anterior. Se puede usar el sistema de razonamiento que más interese a cada uno.

Un ejemplo: convertimos nuestra ontología en owl a sintaxis prolog con Thea y usamos SWI Prolog o GNU prolog para razonar sobre la ontología.

Habrá una sesión práctica sobre el tema.