ML Anthology

On the Static Analysis for SPARQL Queries Using Modal Logic

Nicola Guido
IJCAI 2015 pp. 4367-4368
/ijcai/2015/guido2015ijcai-static/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Guido. "On the Static Analysis for SPARQL Queries Using Modal Logic." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Guido. "On the Static Analysis for SPARQL Queries Using Modal Logic." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/guido2015ijcai-static/)

BibTeX

@inproceedings{guido2015ijcai-static,
  title     = {{On the Static Analysis for SPARQL Queries Using Modal Logic}},
  author    = {Guido, Nicola},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {4367-4368},
  url       = {https://mlanthology.org/ijcai/2015/guido2015ijcai-static/}
}