Analyse statique de requête pour le Web sémantique

Résumé : L'inclusion de requête est un problème bien étudié sur plusieurs décennies de recherche. En règle générale, il est défini comme le problème de déterminer si le résultat d'une requête est inclus dans le résultat d'une autre requête pour tout ensemble de données. Elle a des applications importantes dans l'optimisation des requêtes et la vérification de bases de connaissances. L'objectif principal de cette thèse est de fournir des procédures solides et com- plètes pour déterminer l'inclusion des requêtes SPARQL en vertu d'exprimés en axiomes logiques de description. De plus, nous mettons en œuvre ces procédures à l'appui des résultats théoriques par l'expérimentation. À ce jour, test d'inclusion de requête a été effectuée à l'aide de différentes techniques: homomorphisme de graphes, bases de données canoniques, les tech- niques de la théorie des automates et par une réduction au problème de la va- lidité de la logique. Dans cette thèse, nous utilisons la derniere technique pour tester l'inclusion des requêtes SPARQL utilisant une logique expressive appelée μ-calcul. Pour ce faire, les graphes RDF sont codés comme des systèmes de transitions, et les requêtes et les axiomes du schéma sont codés comme des formules de μ-calcul. Ainsi, l'inclusion de requêtes peut être réduit á test de validité de formule logique. L'objectif de cette thèse est d'identifier les divers fragments de SPARQL (et PSPARQL) et les langages de description logique de schéma pour lequelle l'inculsion est décidable. En outre, afin de fournir théoriquement et expériment- alement éprouvées procédures de vérifier l'inclusion de ces fragments décid- ables. Pas durer au moins mais, cette thèse propose un point de repère pour les solveurs d'inclusion. Ce benchmark est utilisé pour tester et comparer l'état actuel des solveurs d'inclusion.
Type de document :
Thèse
Autre [cs.OH]. Université de Grenoble, 2012. Français. 〈NNT : 2012GRENM098〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00849116
Contributeur : Melisachew Wudage Chekol <>
Soumis le : samedi 15 juin 2013 - 10:14:18
Dernière modification le : mardi 27 juin 2017 - 01:07:04
Document(s) archivé(s) le : lundi 16 septembre 2013 - 04:04:01

Identifiants

  • HAL Id : tel-00849116, version 2

Collections

Citation

Melisachew Wudage Chekol. Analyse statique de requête pour le Web sémantique. Autre [cs.OH]. Université de Grenoble, 2012. Français. 〈NNT : 2012GRENM098〉. 〈tel-00849116v2〉

Partager

Métriques

Consultations de la notice

773

Téléchargements de fichiers

382