Semantics TF discussion

We had an interesting Semantics TF meeting last Friday, and we concluded a couple of things:

  1.  It would be interesting to consider, instead of the currently approved alternative baseline, a simpler more “liberal” approach: a new property rdf:reifies is introduced, which is used to express reification - namely the relationship between a reifier (sometimes called “token") and an abstract triple term. In order to express reification, only the rdf:reifies (or any sub property of it) could be used. Other usages of triple terms (namely without being object of a rdf:reifies property or of any of its subproperty) is not forbidden (hence the name: “liberal” approach), but they would not be having the meaning of a reification.
  2.  We discussed the possible type of the object of rdf:reifies: it could be rdf:Proposition.

This is captured - with many details still to be discussed - in <https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22liberal-baseline%22>.

—e.