{"type":"ScholarlyArticle","title":"On the Static Analysis for SPARQL Queries Using Modal Logic","authors":[{"name":"Nicola Guido","slug":"nicola-guido","given":"Nicola","family":"Guido","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2015/631","pdf":"https://ijcai.org/proceedings/2015/0631.pdf","markdown":"https://ijcai.org/proceedings/2015/631.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/631","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Doctoral Consortium","track":"Doctoral Consortium","number":631,"pages":{"first":4367,"last":4367},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}