Re: model theory for RDF/S

Pat Hayes wrote:


> >>  rdf:type rdf:range rdfs:Class .
> >>
> >>  Indeed, there seems to be no way to generate that, which should of
> >>  course be in every closure. Damn, you are right. And of course also:
> >>
> >>  rdfs:subClassOf rdf:range rdfs:Class .
> >>  rdfs:subClassOf rdf:domain rdfs:Class .
> >  > rdf:range rdf:domain rdfs:Property .
> >>  rdf:range rdf:range rdfs:Class .
> >>  rdf:domain rdf:domain rdfs:Property .
> >>  rdf:domain rdf:range rdfs:Class .


Pat,

Should there also be, for each Resource uuu of type Class, the triple

uuu rdfs:subClassOf uuu

I assume this _is_ trivially true, now that subClass cycles are
permitted?

Regards,

David Allsopp
QinetiQ
UK

-- 
/d{def}def/u{dup}d[0 -185 u 0 300 u]concat/q 5e-3 d/m{mul}d/z{A u m B u
m}d/r{rlineto}d/X -2 q 1{d/Y -2 q 2{d/A 0 d/B 0 d 64 -1 1{/f exch d/B
A/A z sub X add d B 2 m m Y add d z add 4 gt{exit}if/f 64 d}for f 64 div
setgray X Y moveto 0 q neg u 0 0 q u 0 r r r r fill/Y}for/X}for showpage