On the expressivity of ask queries in SPARQL
File version
Accepted Manuscript (AM)
Author(s)
van den Bussche, J
Wang, K
Zhang, H
Yang, X
Feng, Z
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
File type(s)
Location
New York, United States / Virtual
License
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.
Journal Title
Conference Title
AAAI 2020 - 34th AAAI Conference on Artificial Intelligence
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2020 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version.
Item Access Status
Note
Access the data
Related item(s)
Subject
Artificial intelligence
Persistent link to this record
Citation
Zhang, X; van den Bussche, J; Wang, K; Zhang, H; Yang, X; Feng, Z, On the expressivity of ask queries in SPARQL, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, 2020, pp. 3057-3064