- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 9 Jan 2025 06:51:00 -0500
- To: public-rdf-star-wg@w3.org
On 1/9/25 6:37 AM, Franconi Enrico wrote: > Updated definitions (also in the wiki): > [...] > > 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| > [...] I am against this super-range treatement of rdfs:reifies. That is, just because rdf:reifies shows up in a triple term is no reason to make the object of the triple term be a proposition. The rationale here is that triple terms are not asserted so there is no reason for them to have consequences. peter
Received on Thursday, 9 January 2025 11:51:06 UTC