Interrogation de grandes bases de connaissances : algorithmes de réécriture de requêtes conjonctives en présence de règles existentielles

Mélanie König 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : La problématique d'interrogation d'une base de données en présence d'une ontologie (OBQA pour "Ontology-based Query Answering") consiste à prendre en compte des connaissances générales, typiquement une ontologie de domaine, lors de l'évaluation d'une requête. Dans le cadre de cette thèse, ces connaissances sont représentées par des formules de la logique du premier ordre appelées "règles existentielles". Les règles existentielles sont aussi connues sous le nom de règles Datalog+/- ou "tuple-generating dependencies". Nous considérons une approche couramment utilisée, qui consiste à réécrire la requête en exploitant les règles de façon à se ramener à un problème classique l'interrogation d'une base de données. Nous définissons un cadre théorique d'étude des algorithmes de réécriture d'une requête conjonctive en une union de requêtes conjonctives, accompagné d'un algorithme de réécriture générique, prenant en paramètre un opérateur de réécriture. Nous proposons ensuite plusieurs opérateurs de réécriture et développons différentes optimisations, que nous évaluons sur des benchmarks du domaine.
Type de document :
Thèse
Intelligence artificielle [cs.AI]. Université Montpellier II - Sciences et Techniques du Languedoc, 2014. Français. 〈NNT : 2014MON20148〉
Liste complète des métadonnées

Littérature citée [40 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01714586
Contributeur : Abes Star <>
Soumis le : mercredi 21 février 2018 - 16:32:05
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : mardi 22 mai 2018 - 14:26:39

Fichier

41722_KONIG_2014_archivage_cor...
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01714586, version 1

Collections

Citation

Mélanie König. Interrogation de grandes bases de connaissances : algorithmes de réécriture de requêtes conjonctives en présence de règles existentielles. Intelligence artificielle [cs.AI]. Université Montpellier II - Sciences et Techniques du Languedoc, 2014. Français. 〈NNT : 2014MON20148〉. 〈tel-01714586〉

Partager

Métriques

Consultations de la notice

218

Téléchargements de fichiers

85