Skip to Main content Skip to Navigation
Conference papers

On the Static Analysis for SPARQL Queries Using Modal Logic

Nicola Guido 1, *
* Corresponding author
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.
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01215680
Contributor : Nicola Guido <>
Submitted on : Tuesday, January 5, 2016 - 2:58:56 PM
Last modification on : Tuesday, February 9, 2021 - 3:26:02 PM
Long-term archiving on: : Thursday, April 7, 2016 - 3:43:14 PM

File

IJCAI15-631.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01215680, version 1

Collections

CNRS | LIG | INRIA | UGA

Citation

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

Share

Metrics

Record views

348

Files downloads

204