On the Static Analysis for SPARQL Queries Using Modal Logic

Nicola Guido (1)

1 TYREX - Types and Reasoning for the Web

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.

Mots clés: SPARQL; Query Containment; Query-Update Independence

Domaines: Informatique [cs]; Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

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