Sur l'analyse statique des requêtes SPARQL avec la logique modale

Nicola Guido 1, 2
2 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 the query-update independence analysis. We are interested in developing techniques through reductions to the validity problem in logic.We address SPARQL query containment with optional matching. We focus on the class of well-designed SPARQL queries, proposed in the literature as a fragment of the language with good properties regarding query evaluation. SPARQL is interpreted over graphs, hence we encode it in a graph logic, specifically the modal logic K interpreted over label transition systems. We show that this logic is powerful enough to deal with query containment for the well-designed fragment of SPARQL. We show how to translate RDF graphs into transition systems and SPARQL queries into K-formulae. Therefore, query containment in SPARQL can be reduced to unsatisfiability in K.We also report on a preliminary overview of the SPARQL query-update problem. A query is independent of an update when the execution of the update does not affect the result of the query. Determining independence is especially useful in the contest of huge RDF repositories, where it permits to avoid expensive yet useless re-evaluation of queries. While this problem has been intensively studied for fragments of relational calculus, no works exist for the standard query language for the semantic web. We report on our investigations on how a notion of independence can be defined in the SPARQL context
Complete list of metadatas

https://hal.inria.fr/tel-01250984
Contributor : Abes Star <>
Submitted on : Thursday, April 28, 2016 - 3:45:37 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Long-term archiving on : Tuesday, November 15, 2016 - 4:36:07 PM

File

GUIDO_2015_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01250984, version 2

Collections

Citation

Nicola Guido. Sur l'analyse statique des requêtes SPARQL avec la logique modale. Web. Université Grenoble Alpes, 2015. Français. ⟨NNT : 2015GREAM059⟩. ⟨tel-01250984v2⟩

Share

Metrics

Record views

650

Files downloads

330