---
title: "On the Static Analysis for SPARQL Queries Using Modal Logic"
authors:
  - "Nicola Guido"
doi: ""
url: "https://ijcai.org/proceedings/2015/631"
pdf: "https://ijcai.org/proceedings/2015/0631.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "4367-4367"
track: "Doctoral Consortium"
keywords:
---

# On the Static Analysis for SPARQL Queries Using Modal Logic

Nicola Guido

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, 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.