Re: Revisiting RDF-star semantics (was Re: Why is the RDF-star working group standardising RDF 1.2 and SPARQL 1.2?) from Franconi Enrico on 2023-01-27 (public-rdf-star-wg@w3.org from January 2023)

From: Franconi Enrico <franconi@inf.unibz.it>
Date: Fri, 27 Jan 2023 22:52:53 +0000
To: Pierre-Antoine Champin <pierre-antoine@w3.org>
CC: Antoine Zimmermann <antoine.zimmermann@emse.fr>, "public-rdf-star-wg@w3.org" <public-rdf-star-wg@w3.org>
Message-ID: <20806325-96D7-4CE3-9AD6-7953662BC8FB@inf.unibz.it>

I guess that this would be exactly my proposal from my email “ Model-theoretic semantics of reification”.
—e.

> Il giorno 27 gen 2023, alle ore 19:31, Pierre-Antoine Champin <pierre-antoine@w3.org> ha scritto:
> 
> On 27/01/2023 11:49, Antoine Zimmermann wrote:
>> (*) RDF-star basic semantics would be defined on any RDF-entailment regime by adding a mapping IT from embedded triples to the set of resources IR. Under this basic semantics, embedded triples simply act as distinct names, as if they were IRIs. This does not preclude extensions where the internal structure of the embedded triples makes a difference.
> I like that.
> 
> Would you mind developing this further?
> 
>   pa
> 
> PS: also, the https://github.com/w3c/rdf-semantics repo is available for PRs ;-)
> 
> <OpenPGP_0x9D1EDAEEEF98D438.asc>

Received on Friday, 27 January 2023 22:53:08 UTC