- From: James Anderson <anderson.james.1955@gmail.com>
- Date: Mon, 25 Jan 2021 11:44:04 +0100
- To: "public-rdf-star@w3.org" <public-rdf-star@w3.org>
this must be a trick question.
what’s the catch?
> On 2021-01-25, at 11:15:34, Pierre-Antoine Champin <pierre-antoine.champin@ercim.eu> 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 10:44:18 UTC