W3C home > Mailing lists > Public > public-rdf-star@w3.org > January 2021

SPARQL* evaluation semantics and RDF* semantics

From: Pierre-Antoine Champin <pierre-antoine.champin@ercim.eu>
Date: Mon, 25 Jan 2021 11:15:34 +0100
To: "public-rdf-star@w3.org" <public-rdf-star@w3.org>
Message-ID: <aa5b959c-3cb2-8646-583a-86d691a56218@ercim.eu>
Dear all,

in the discussions about RDF* semantics, I have made an assumption which 
I want to check with the community before going further.

I assume that we want the SPARQL* evaluation semantics and the RDF* 
model-theoretic semantics to be aligned, i.e. consistent with each other.

In other words, given two RDF* graphs G1 and G2,
whenever the MT semantics says that G1 entails G2,
any SPARQL* compliant system containing G1 should return true on the 
query "ASK { ... }" where "..." is a SPARQL* representation of G2.

FTR: this is currently the case for RDF simple entailment and SPARQL.

What's your position about that?

Received on Monday, 25 January 2021 10:15:38 UTC

This archive was generated by hypermail 2.4.0 : Monday, 25 January 2021 10:15:39 UTC