Static Analysis of Semantic Web Queries

Melisachew Wudage Chekol 1, 2
1 EXMO - Computer mediated exchange of structured knowledge
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : L'inclusion de requête est un problème bien étudié durant plusieurs décen- nies 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 ensem- ble 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 correctes et complètes pour déterminer l'inclusion des requêtes SPARQL en vertu d'axiomes exprimés en logiques de description. De plus, nous met- tons en œuvre ces procédures à l'appui des résultats théoriques par l'expérimentation. À ce jour, l'inclusion de requête a été testée à l'aide de différentes techniques: ho- momorphisme de graphes, bases de données canoniques, les techniques de la théorie des automates et réduction au problème de la validité d'une logique. Dans cette thèse, nous utilisons la derniere technique pour tester l'inclusion des requêtes SPARQL utilisant une logique expressive appelée le μ-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éduite au test de la validité d'une formule logique. Dans cette thèse j'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érimentalement des procédures éprouvées pour vérifier l'inclusion de ces fragments décidables. Enfin, 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
Artificial Intelligence [cs.AI]. Université de Grenoble, 2012. English
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 : mercredi 14 décembre 2016 - 01:08:41
Document(s) archivé(s) le : lundi 16 septembre 2013 - 04:04:01

Identifiants

  • HAL Id : tel-00849116, version 2

Collections

Citation

Melisachew Wudage Chekol. Static Analysis of Semantic Web Queries. Artificial Intelligence [cs.AI]. Université de Grenoble, 2012. English. <tel-00849116v2>

Partager

Métriques

Consultations de
la notice

718

Téléchargements du document

358