Thèse Réécriture de Requêtes de Logique de Description en Gql H/F - 34

Établissement : Université de Montpellier
École doctorale : I2S - Information, Structures, Systèmes
Laboratoire de recherche : Laboratoire d'Informatique, de Robotique et de Micro-électronique de Montpellier
Direction de la thèse : Marie-laure MUGNIER ORCID 0000000205743693
Début de la thèse : 2026-10-01
Date limite de candidature : 2026-05-04T23:59:59

L'objectif est de développer de nouvelles techniques permettant de réécrire des requêtes en logique de description (DL) dans le nouveau standard de requêtes sur les graphes, GQL. En tirant parti de la puissance expressive de ce langage, nous cherchons à élargir considérablement le champ d'application des raisonnements basés sur la réécriture. Nos principaux objectifs de recherche sont de comprendre quelles requêtes DL admettent une formulation équivalente en GQL et lesquelles n'en admettent pas, d'obtenir une caractérisation décidable de la réécrivabilité en GQL, et de développer des méthodes efficaces pour construire de telles réécritures lorsqu'elles existent.

Cette thèse s'inscrit dans les thématiques de recherche de l'équipe BOREAL (LIRMM/Inria).