On the Expressivity of ASK Queries in SPARQL

Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang, Zhiyong Feng

AAAI 2020 pp. 3057-3064

doi:10.1609/AAAI.V34I03.5700 /aaai/2020/zhang2020aaai-expressivity/

Abstract

As a major query type in SPARQL, ASK queries are boolean queries and have found applications in several domains such as semantic SPARQL optimization. This paper is a first systematic study of the relative expressive power of various fragments of ASK queries in SPARQL. Among many new results, a surprising one is that the operator UNION is redundant for ASK queries. The results in this paper as a whole paint a rich picture for the expressivity of fragments of ASK queries with the four basic operators of SPARQL 1.0 possibly together with a negation. The work in this paper provides a guideline for future SPARQL query optimization and implementation.

PDF AAAI Semantic Scholar

Cite

Text

Zhang et al. "On the Expressivity of ASK Queries in SPARQL." AAAI Conference on Artificial Intelligence, 2020. doi:10.1609/AAAI.V34I03.5700

Markdown

[Zhang et al. "On the Expressivity of ASK Queries in SPARQL." AAAI Conference on Artificial Intelligence, 2020.](https://mlanthology.org/aaai/2020/zhang2020aaai-expressivity/) doi:10.1609/AAAI.V34I03.5700

BibTeX

@inproceedings{zhang2020aaai-expressivity,
  title     = {{On the Expressivity of ASK Queries in SPARQL}},
  author    = {Zhang, Xiaowang and Van den Bussche, Jan and Wang, Kewen and Zhang, Heng and Yang, Xuanxing and Feng, Zhiyong},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2020},
  pages     = {3057-3064},
  doi       = {10.1609/AAAI.V34I03.5700},
  url       = {https://mlanthology.org/aaai/2020/zhang2020aaai-expressivity/}
}