On the Static Analysis for SPARQL Queries Using Modal Logic

Guido, Nicola

On the Static Analysis for SPARQL Queries Using Modal Logic

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Doctoral Consortium. Pages 4367-4367.

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.

Nicola Guido. 2015. On the Static Analysis for SPARQL Queries Using Modal Logic. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 4367–4367. https://ijcai.org/proceedings/2015/631

@inproceedings{ijcai2015p631,
  title     = {On the Static Analysis for SPARQL Queries Using Modal Logic},
  author    = {Guido, Nicola},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {4367--4367},
  year      = {2015},
  month     = {7},
  note      = {Doctoral Consortium},
  url       = {https://ijcai.org/proceedings/2015/631},
}

TY  - CPAPER
TI  - On the Static Analysis for SPARQL Queries Using Modal Logic
AU  - Guido, Nicola
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 4367
EP  - 4367
UR  - https://ijcai.org/proceedings/2015/631
ER  -