On the Static Analysis for SPARQL Queries Using Modal Logic

Nicola Guido 1, *
* Auteur correspondant
1 TYREX - Types and Reasoning for the Web
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Static analysis is a core task in query optimization and knowledge base verification. We study static analysis techniques for SPARQL, the standard language for querying Semantic Web data. Specifically , we investigate the query containment problem and query-update independence analysis. We are interested in developing techniques through reductions to the validity problem in logic.
Type de document :
Communication dans un congrès
IJCAI 2015, Jul 2015, Buenos Aires, Argentina. 2015
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01215680
Contributeur : Nicola Guido <>
Soumis le : mardi 5 janvier 2016 - 14:58:56
Dernière modification le : vendredi 8 janvier 2016 - 01:04:46
Document(s) archivé(s) le : jeudi 7 avril 2016 - 15:43:14

Fichier

IJCAI15-631.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01215680, version 1

Collections

LIG | INRIA | UGA

Citation

Nicola Guido. On the Static Analysis for SPARQL Queries Using Modal Logic. IJCAI 2015, Jul 2015, Buenos Aires, Argentina. 2015. <hal-01215680>

Partager

Métriques

Consultations de
la notice

116

Téléchargements du document

51