• Co-encadrants de thèse :
  • Badran Raddaoui (Telecom SudParis
  • laboratoire SAMOVAR)
  • Yue Ma (Université Paris Saclay
  • LISN)
  • Financement : ANR
  • Année de début de thèse :
  • 2024

Cette thèse de doctorat se concentrera sur les deux aspects principaux suivants. Le premier concerne la sémantique de réponse aux requêtes avec des bases de données inconsistantes. Malgré le fait que diverses méthodes ont été étudiées pour obtenir des informations utiles en présence de conflits dans les contextes de la logique propositionnelle et de la logique de description [2, 5], peu de travaux ont traité les sémantiques tolérantes aux conflits dans le contexte des bases de données avec de relations de préférence flexibles [7], telles que la relation partiellement ordonnée (par exemple, [1, 3]) ainsi que la complexité computationnelle des différents problèmes connexes, ce qui constitue l’un des principaux objectifs de cette thèse.

Le deuxième objectif de la thèse est de savoir comment gérer les préférences dans les bases de données conflictuelles. En fait, pour répondre aux requêtes sur des bases de données conflictuelles, il est crucial d’exprimer des priorités parmi les réparations potentielles afin de sélectionner les candidats les plus optimaux. Comme le nombre de réparations potentielles peut être (très) important, on peut choisir de classer les réparations selon certains critères de préférence et de sélectionner un petit nombre des réparations les plus souhaitables. De plus, nous notons que la préférence parmi les sources de données pourrait être de nature différente. Souvent, les méthodes tolérantes aux conflits visent à trouver une stratification induisant un préordre total parmi toutes les informations. Une telle stratification permet de gérer plus facilement les incohérences dans les sources de données. Néanmoins, cela peut conduire à une comparaison moins pertinente. L’objectif principal ici est donc de développer un nouveau cadre pour gérer les préférences dans les bases de données conflictuelles afin de fournir des réponses significatives aux requêtes des utilisateurs.

Références

[1] Sihem Belabbes, Salem Benferhat, and Jan Chomicki. Handling inconsistency in partially preordered ontologies: the elect method. J. Log. Comput., 31(5):1356–1388, 2021. [2] Meghyn Bienvenu. Inconsistency handling in ontology-mediated query answering: A progress report. In DL, 2019. [3] Saïd Jabbour, Yue Ma, and Badran Raddaoui. A framework for reasoning about uncertainty in ontologies. IEEE Intell. Syst., 37(6):27–37, 2022. [4] Benny Kimelfeld, Ester Livshits, and Liat Peterfreund. Counting and enumerating preferred database repairs. Theor. Comput. Sci., 837:115–157, 2020. [5] Sébastien Konieczny, Pierre Marquis, and Srdjan Vesic. Rational inference relations from maximal consistent subsets selection. In IJCAI, pages 1749–1755, 2019. [6] Ester Livshits and Benny Kimelfeld. The shapley value of inconsistency measures for functional dependencies. In ICDT, pages 15:1–15:19, 2021. [7] Slawek Staworko, Jan Chomicki, and Jerzy Marcinkowski. Prioritized repairing and consistent query answering in relational databases. Ann. Math. Artif. Intell., 64(2-3):209–246, 2012.