- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 9 Jan 2025 06:47:04 -0500
- To: public-rdf-star-wg@w3.org
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. 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 11:47:09 UTC