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.