Fiche de TAHRAT Sabiha

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIPADE
Employeur: Algérie


Date de debut de thèse: 2 décembre 2017
Date soutenance de thèse: 23 novembre 2021
Directrice de thèse: Salima BENBERNOU (LIPADE)
Encadrant : Mourad OUZIRI (LIPADE)
Sujet de thèse: Gestion de la qualité de données temporelles dans un environemment streaming par une approche logique formelle. Thématique : Données et connaissances



Soutenance de thèse

Données générales

Titre : Data inconsistency detection and reparation over temporal knowledge bases
Date : 23 novembre 2021
Heure: 16:00
Résumé : Cette thèse étudie la faisabilité du raisonnement automatique sur des bases de connaissances temporelles TDL-Lite. Dans la première partie, nous avons traduit ces bases de connaissances en logique temporelle de premier ordre et en logique temporelle linéaire qui sont munies de raisonneurs temporels permettant de vérifier leur satisfiabilité. Pour améliorer la scalabilité du raisonnement et ainsi faire face à des ABox de grandes tailles, une approche d'abstraction des assertions temporelles a été proposée. Un outil complet avec une interface graphique permettant de concevoir et de raisonner sur des bases de connaissances en TDL-Lite a été également présenté. Enfin, dans la deuxième partie, nous avons proposé une approche de réparation temporelle de ABox en fonction des prédicats rigides (invariants dans le temps) définit dans la base de connaissances et en tenant compte de l'ordre temporel des assertions.
Lieu : Université de Paris - Campus Saint-Germain-des-Prés

Rapporteurs/ Rapporteuses

Personne Qualité Etablissement
M. Goasdoué François Professeur des universités Institut de Recherche en Informatique et Systèmes Aléatoires, Univ. Rennes
M. Toumani Farouk Professeur des universités Le Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes, Univ. Clermont Auvergne

Composition du jury

Personne Qualité Etablissement
M. Artale Alessandro Professeur des universités Université libre de Bolzano (Italie)
Mme. Benbernou Salima Professeure des universités Laboratoire d’Informatique Paris Descartes, Univ. de Paris Cité
M. Ouziri Mourad Maître de Conférences Laboratoire d’Informatique Paris Descartes, Univ. de Paris Cité
Mme. Grigori Daniela Professeure des universités Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision