- From: David Allsopp <d.allsopp@signal.qinetiq.com>
- Date: Mon, 08 Oct 2001 12:05:41 +0100
- To: Pat Hayes <phayes@ai.uwf.edu>
- CC: www-rdf-logic@w3.org
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
Received on Monday, 8 October 2001 07:06:49 UTC