30/04/2025 - 14H00 - Amphi 7 de la FST

"Extraction et intégration de contraintes dans des sources de données multiples à l'aide d'ontologies et de graphes de connaissances"

Résumé :
Cette thèse explore l'introduction des graphes de formes SHACL dans des environnements sémantiques présentant des sources hétérogènes et des exigences contextuelles variées. Cette recherche propose une approche pour l'enrichissement des systèmes basés sur le Web sémantique, apportant des bénéfices à plusieurs domaines, notamment l'Industrie 4.0. La thèse commence par une large revue des travaux actuels liés à la validation des contraintes sémantiques sur les modèles de représentation des connaissances. Sur la base d'une revue systématique de la littérature, une définition d'une taxonomie décrivant les types de travaux associés est proposée. Les défis ouverts liés à la création de graphes de formes et à leur inclusion dans les environnements sémantiques existants sont mis en évidence. Le besoin d'une représentation des graphes de formes capable de s'adapter à différents contextes ainsi que l'intégration de ces graphes sont particulièrement soulignés. En s'appuyant sur les standards SHACL, un modèle de restriction sémantique représentant des groupes de formes partageant une même cible et pouvant contenir des conflits inter-formes est présenté. Un processus de configuration de pré-validation permettant d'activer le sous-graphe du modèle le mieux adapté au contexte actuel est décrit. De plus, une approche d'intégration des graphes de formes SHACL appartenant à un même environnement est proposée. L'intégration proposée résout les conflits de contraintes grâce à la spécialisation des formes. Un cas d'utilisation pratique, basé sur l'École de Ski Française, démontre l'utilisabilité des contributions proposées. Des évaluations de l'exactitude et de la cohérence du graphe de formes généré sont réalisées. Les performances des procédures mises en oeuvre sont également évaluées. La thèse se conclut par un résumé des contributions et une proposition de pistes de recherche futures visant à améliorer davantage l'intégration et la représentation des graphes de formes SHACL.

Mots clés : Représentation des connaissances, Contraintes sémantiques, Validation RDF, Graphe de formes, Ontologie, Graphe de connaissances
Jury :
- Rapporteurs : Thierry Coudert, MdC HDR et Professeur à l'Université de Toulouse
Regina Motz, Professeur à l'Universidad de la República Uruguay
- Autres membres : Examinateurs :
- William Derigent, Professeur à l'Université de Lorraine
Directeur de thèse :
- Mario Lezoche. MdC HDR à l'Université de Lorraine
Co-directeurs de thèse :
- Hervé Panetto. Professeur à l'Université de Lorraine
- Diego Torres. Professeur à l'Universidad Nacional de Quilmes
- Gabriela Arevalo. MdC HDR à l'Universidad Nacional de Quilmes
- Pablo Martinez Lopez, Professeur à l'Universidad Nacional de Quilmes