BackBrowsing by Author "ALVEZ GIMENEZ, JAVIER"
Now showing items 1-4 of 4
-
Automatic white-box testing of first-order logic ontologies
Álvez Giménez, Javier
; ; ; Rigau Claramunt, Germán (Oxford Academic, 2019-02-26)
Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies is generating considerable research on the use of automated reasoning techniques and tools that help in ontology ... -
Evaluación Automática de Adimen-SUMO usando el banco de pruebas BLESS
(2018-10-30)Para comprender mejor el objetivo y el desarrollo de este proyecto es necesario conocer el fundamento del mismo. Comprender el significado de ontología en un ámbito informático. Una ontología es un ... -
Implementación de una interfaz web para la consulta y edición de la ontología Adimen-SUMO
(2015-11-27)El TFG (Trabajo de Fin de Grado) que se presenta a continuación fue propuesto por el profesor Javier Álvez, miembro del grupo LoRea (Logic and Reasonning Group) de la Universidad del País Vasco, y forma parte de una tarea ... -
MeeTeam, tu red social deportiva
(2018-12-12)¿Cómo surge MeeTeam? Partiendo de mis propias vivencias durante más de 10 años en el mundo del fútbol sala y de las de muchas personas más, y siendo miembro fundador de un equipo y jugador, siempre nos hemos encontrado ...