Re: Decision from the Semantics TF: liberal baseline



> On 9 Jan 2025, at 12:47, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote:
> 
> It appears to me that a better way to get the effect of rdfs:Proposition is to do it the way that it is done for properties, i.e., to have an extra item in simple semantics that is the set of propositions and then use the same sort of semantic constraints that are used for rdf:Property.

Is rather do like ICEXT for rdf:type, by introducing ITTEXT for rdf:reifies. ICEXT defines rdfs:Class, and ITTEXT defines rdfs:Proposition.
—s.


> 
> peter
> 
> 
>> On 1/9/25 6:37 AM, Franconi Enrico wrote:
>> Updated definitions (also in the wiki):
>>    RDF SEMANTICS
>> 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
>> RDFS semantics restricts the function |[I+A](.)| with the following additional /metamodelling/ condition:
>> |<r, [I+A](rdfs:Proposition)> ∈ IEXT([I+A](rdf:type))|
>>           if |∃ x,y,z . RE(x,z,y)=r| or
>>           if |∃ x,y . RE(x,[I+A](rdf:reifies),r)=y|
>> 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 .
>> Additional metamodelling RDFS entailment patterns, so to have a sound and complete set of metamodelling RDFS entailment patterns:
>>    if the triple structure appears in S    then S RDFS entails
>> */rdfs14/*    sss aaa <<(xxx yyy zzz)>>    <<(xxx yyy zzz)>> rdf:type rdfs:Proposition .
>> */rdfs15/*    <<(xxx yyy zzz)>> aaa ooo    <<(xxx yyy zzz)>> rdf:type rdfs:Proposition .
>> */rdfs16/*    sss rdf:reifies ooo    ooo rdf:type rdfs:Proposition .
> 
>

Received on Thursday, 9 January 2025 12:26:11 UTC