Re: Update RDF-star semantics document

On 13 Mar 2024, at 12:24, Franconi Enrico <franconi@inf.unibz.it> wrote:



On 13 Mar 2024, at 12:14, Franconi Enrico <franconi@inf.unibz.it> wrote:

On 13 Mar 2024, at 11:37, Doerthe Arndt <doerthe.arndt@tu-dresden.de<mailto:doerthe.arndt@tu-dresden.de>> wrote:

1. Strictly speaking, in your grammar each triple of the form

identifier_i rdf:reifies tripleTerm

needs to be *directly* followed by a triple

(subject predicate identifier_i) or (identifier_i predicate object))

Is that on purpose?  (I think that is a minor remark, I was just curious :) )

Yes, it is needed if you want this grammar to capture exactly the macro expansion. It basically says that “edge” triples re not allowed to be alone.

Maybe you meant *directly* also in the graph, but a graph is a set, so there is no notion of *directly* following…

I now get you. Strictly speaking, we should fix this…
—e.