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

Re: SPARQL* evaluation semantics and RDF* semantics

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Mon, 25 Jan 2021 16:01:35 -0500
To: public-rdf-star@w3.org
Message-ID: <14f98e7d-8395-1ceb-ce53-81e483cac398@gmail.com>
This sounds like a good thing to have, but I'm not prepared to say that it is
a must-have.


On 1/25/21 5:15 AM, Pierre-Antoine Champin wrote:
> 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 21:01:50 UTC

This archive was generated by hypermail 2.4.0 : Monday, 25 January 2021 21:01:53 UTC