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) Directeur de thèse: 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
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) Directeur de thèse: 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 (HDR) | 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 |