¡Felicitaciones Mariano!

El pasado 25 de marzo , en Francia, Mariano Ferreirone defendió exitosamente su tesis doctoral y con ella obtuvo, en forma conjunta, el título de doctor de la Universidad de Lorraine y el de doctor de la Universidad Nacional de Quilmes.

La tesis de Mariano se titula «Extracción e integración de restricciones en fuentes múltiples de datos usando ontologías y grafos de conocimiento », y la llevó a cabo con la dirección de los doctores Hervé Panetto (CRAN, UL), Mario Lezoche (CRAN, UL) y Diego Torres (LIFIA, UNLP y Dto. CyT, UNQ). Los jurados que evaluaron el trabajo de Mariano fueron los doctores: como revisores la Prof. Regina Motz de la Universidad de la República de Uruguay y Thierry Courdet de la Universidad de Toulouse. Como examinadores el Prof. William Derigent de la Universidad de Lorraine, Gabriela Arevalo y el Prof. Pablo Martinez Lopez de la Universidad Nacional de Quilmes.

El documento de tesis estará disponible en breve en el repositorio de la Universidad. Mientras tanto les dejamos el resumen y algunas fotos de la defensa.

Resumen:

Esta tesis explora la introducción de los Grafos de Shapes SHACL en entornos semánticos que presentan fuentes heterogéneas y diversos requisitos contextuales. Esta investigación propone un enfoque para el enriquecimiento de los sistemas basados en la Web Semántica, aportando beneficios a varios dominios, incluyendo la Industria 4.0. La tesis comienza con una amplia revisión de los trabajos actuales relacionados con la validación de restricciones semánticas en los modelos de representación del conocimiento. A partir de una revisión sistemática de la literatura, se propone una definición de una taxonomía que describe los tipos de trabajos asociados. Se destacan los desafíos abiertos relacionados con la creación de grafos de Shapes y su inclusión en los entornos semánticos existentes. Se subraya especialmente la necesidad de una representación de los grafos de Shapes capaz de adaptarse a diferentes contextos, así como también la necesidad de poder realizar la integración de múltiples grafos de este tipo. Basándose en los estándares SHACL, se presenta un modelo de restricción semántica que representa grupos de restricciones que comparten un mismo objetivo y que pueden contener conflictos entre si. Se describe un proceso de configuración de pre-validación para activar el subgrafo del modelo que mejor se adapte al contexto actual. Además, se propone un enfoque para la integración de los grafos de Shapes SHACL que pertenecen a un mismo entorno. La integración propuesta resuelve los conflictos de restricciones mediante la especialización de los conjuntos de restricciones. Un caso de uso práctico, basado en la Escuela de Esquí Francesa, demuestra la usabilidad de las contribuciones propuestas. Se realizan evaluaciones de la exactitud y la coherencia del grafo de Shapes generado. También se evalúan el rendimiento de los procedimientos implementados. La tesis concluye con un resumen de las contribuciones y una propuesta de direcciones de investigación futuras para mejorar aún más la integración y representación de los grafos de Shapes SHACL.