Re: RDF / RDFS semantics for the liberal baseline

Same here - I agreed with the majority

> On Jan 17, 2025, at 4:22 AM, Pierre-Antoine Champin <pierre-antoine@w3.org> wrote:
> 
> I am late to respond, but FTR, I would have voted the same as the majority (reflected below) :)
> 
> (more precisely, I don't have a strong opinion on 2., I can live with both)
> 
> On 15/01/2025 22:58, Franconi Enrico wrote:
>> By considering all the responses so far, there is an overwhelming majority in favor of:
>> I want that triple terms are of type rdfs:Proposition.
>> YES
>> I want that objects of rdf:reifies triples at top level are of type rdfs:Proposition.
>> YES
>> I want that objects of rdf:reifies triples at any nested level are of type rdfs:Proposition.
>> NO
>> So, the current version of the liberal baseline in the wiki <https://github.com/w3c/rdf-star-wg/wiki/RDF-star-%22liberal-baseline%22> reflects that.
>> —e.
>> 
>>> On 13 Jan 2025, at 17:30, Franconi Enrico <franconi@inf.unibz.it> <mailto:franconi@inf.unibz.it> wrote:
>>> 
>>> Let’s continue the discussion about the RDF / RDFS semantics for the liberal baseline.
>>> After the finalization of the liberal baseline simple semantics, it is necessarily the case that the RDF / RDFS semantics have to be at least as follows.
>>> RDF SEMANTICS
>>> 
>>> RDF interpretations add the following new IRI with the namespace prefix rdf: rdf:reifies. 
>>> 
>>> The rdfD2 RDF entailment pattern is replaced by the following entailment pattern, so to have a sound and complete set of metamodelling RDF entailment patterns: ⏪
>>> 
>>> 
>>> if the triple structure appears in S then S RDF entails
>>> rdfD2-ts sss aaa ooo aaa rdf:type rdf:Property .
>>> RDFS SEMANTICS
>>> 
>>> The rdfs4a and rdfs4b RDFS entailment patterns are replaced by the following entailment patterns: 
>>> 
>>> 
>>> if the triple structure appears in S then S RDFS entails
>>> rdfs4a-ts sss aaa ooo sss rdf:type rdfs:Resource .
>>> rdfs4b-ts sss aaa ooo ooo rdf:type rdfs:Resource .
>>> 
>>> 
>>> The question is what people want to do with rdfs:Proposition.
>>> Possibilities:
>>> 
>>> I want that triple terms are of type rdfs:Proposition.
>>> YES
>>> NO
>>> I want that objects of rdf:reifies triples at top level are of type rdfs:Proposition.
>>> YES
>>> NO
>>> I want that objects of rdf:reifies triples at any nested level are of type rdfs:Proposition.
>>> YES
>>> NO
>>> 
>>> —e.
>>> 
>>