Re: Decision from the Semantics TF: liberal baseline

Looks good to me.

On 02/01/2025 16:29, Franconi Enrico wrote:
> 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.

Mild preference for including the meta-modelling as described.

     Andy

> 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/.