Title: Complex quantified formulas in SPARQL 1.1: formalisation, translation, and partial verbalisation

Authors: Anastasia Analyti

Addresses: Institute of Computer Science, FORTH-ICS, Greece

Abstract: In this paper, we propose quantified SPARQL 1.1 filter expressions, called also q-SPARQL filter expressions for short, based on a specific grammar that uses not only EXISTS and NOT EXISTS keywords but also FORALL-IMPLIES. These filter expressions is a syntactic sugar to SPARQL 1.1 filter expressions since they have a translation to them. However through various examples, we demonstrate their user-friendliness. Additionally, we formally define q-SPARQL queries which use q-SPARQL filter expressions. We further analyse which variables of q-SPARQL filter expressions are universally quantified and which are existential. We also indicate the places where these variables can appear. We translate two nested NOT EXISTS filter expressions into FORALL-IMPLIES form, when it is possible, improving user friendliness of the query. Finally, we partially verbalise q-SPARQL filter expressions, making easier their understanding from the user.

Keywords: quantified SPARQL 1.1 filter expressions; translation to SPARQL 1.1; analysis of variables; partial verbalisation.

DOI: 10.1504/IJWET.2023.132875

International Journal of Web Engineering and Technology, 2023 Vol.18 No.2, pp.84 - 103

Received: 14 Nov 2022
Received in revised form: 26 Mar 2023
Accepted: 08 May 2023
Published online: 13 Aug 2023 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article