Re: Decision from the Semantics TF: liberal baseline

At the last Semantics TF we discussed about the RDF semantics of the liberal baseline.
In the current version of the document:
https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22liberal-baseline%22#rdf-semantics

the two discussed restrictions of RDF semantics are formalised:

  *   triple terms, appearing in triples or in triple terms, are of type rdf:proposition;
  *   objects of the property rdf:reifies, appearing in triples or in triple terms, are of type rdf:proposition.

We may decide to have both restrictions, any of them, or none.
Let’s open the general discussion :-)
—e.

On 13 Dec 2024, at 18:20, Franconi Enrico <franconi@inf.unibz.it> wrote:

Today the Semantics TF met, and we agree to submit to the working group a proposal for a liberal baseline.
It is summarised in <https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22liberal-baseline%22>, to be discussed (and voted?) at the first focussed meeting in 2025.
Basically, there will be a no syntactic restriction in using both rdf:reifies and triple terms.
Reification is sanctioned only if it makes use of the property rdf:reifies or any of its subproperties; the subject of rdf:reifies is called a reifier.
Triple terms would be always of type rdf:Proposition, and the range of rdf:reifies would be rdf:Proposition.