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 [2007-2015]
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 metadatas

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 : Thursday, July 9, 2020 - 9:44:50 AM
Document(s) archivé(s) le : 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

333

Files downloads

162