Re: summary of the Semantics TF discussion of last friday

Hi everybdy,
I am in a conference full time, so I don't have much time to focus on rdf-star.
But I would like to notice that the semantics for the sugar+ proposal is strongly related with my semantic proposal at <https://github.com/w3c/rdf-star-wg/wiki/Semantics%3A-Andy%27s-proposal>, namely the sugar+ proposal can be provably seen as the "implementation" of my semantics for the original Andy's proposal. So, the circle can be closed: sugar+ is equivalent to Andy's proposal under my (quite simple and obvious) semantics.
--e.

On 30 Jan 2024, at 20:41, Pierre-Antoine Champin <pierre-antoine@w3.org> wrote:



Dear all,

I just updated the seeking-consensus table [1] with two rows that summarize the point I made during the Semantics TF last Friday. Namely, that Antoine Zimmermann's proposed semantics for RDF-star [2], back in April, could easily be adapted to the proposals we have on the table (actually, it could be used as-is for the triple-terms proposal).

What I really like about this proposal is that, just like we have a common concrete syntax for all proposals, we can use very similar definitions of "interpretation" and "satisfaction", leaving the most significant difference at the abstract syntax level.

Even better, Antoine proposes a semantic extension called "az-RDF-reification semantics", where

    :e rdf:nameOf <<(:s :p :o)>>.

would actually entail

    :e rdf:nameOf [
        rdf:subject :s ;
        rdf:predicate :p ;
        rdf:object :o ;
    ].

Rings a bell ? This is what << :e | :s :p :o >> expands to under the "sugar+" proposal! :-)

Based on my extrapolation of Antoine's semantics for the edge-proposal [1], this semantic extension could also be adapted to achieve the same result for the edge-statements proposal.

    pa

[1] https://htmlpreview.github.io/?https://github.com/w3c/rdf-star-wg/blob/main/docs/seeking-consensus-2024-01.html

[2] https://www.emse.fr/~zimmermann/W3C/RDF-star-semantics/


<OpenPGP_0x9D1EDAEEEF98D438.asc>