summary of the Semantics TF discussion of last friday

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/