Re: Decision from the Semantics TF: liberal baseline

Dear Enrico,

I have one comment/question for the entailment patterns: I noticed that you used the wording "if the triple structure appears in S“ for the conditions


From your e-mail I assume that „triple structure appears in“ is not the same as the original „S contains“ we have for the other patterns and that you changed the wording to deal with nesting.  

(For those who did not attend the semantics meeting:
:s :p <<(:s2 :p2 <<(:a :b :c)>>)>>. currently entails (according to Enrico's model theory):  <<(:a :b :c)>> a rdf:Proposition.)

I think we need to be very clear what this means and that we include nesting here. Here we also come to the question you raised in the mail. So, from your point of view you would always want to have this „triple structure appears in“ notion? Or would you want to have some distinction between „triple structure appears in“ vs „triple is element of S“? Where else would we need the first notion?  

According to the semantics as you have it at the moment, we would need „triple structure appears in“ for both current RDF entailment patterns, right?

In my opinion, we should use the second option for the RDFS entailment patterns. But I also agree that this needs to be further discussed. I just wanted to get the current state right.

Kind regards,
Dörthe



> Am 02.01.2025 um 17:29 schrieb Franconi Enrico <franconi@inf.unibz.it>:
> 
> 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.