Two profiles: technical definition


(I repeat a previous email, which could have been lost within a previous thread)

In order to make the upcoming discussion more concrete and technical, I have written down the formal definition of two profiles in the wiki:

  *   RDF-star profile “transparent”<https://github.com/w3c/rdf-star-wg/wiki/RDF-star-profile-%22transparent%22> (namely many-to-many transparent)
  *   RDF-star profile "functional opaque”<https://github.com/w3c/rdf-star-wg/wiki/RDF-star-profile-%22functional-opaque%22> (namely many-to-one opaque)

They rely on two distinct properties - rdf:reifies and rdf:edge (temporary name) - and on two distinct syntactic categories - tripleTerm and opaqueTripleTerm.
Technically, they could be just merged into a unique profile, which actually could be RDF-star itself.

—e.