- From: Graham Klyne <GK@ninebynine.org>
- Date: Tue, 15 Apr 2003 14:12:00 +0100
- To: pat hayes <phayes@ai.uwf.edu>, herman.ter.horst@philips.com
- Cc: www-rdf-comments@w3.org
At 14:27 14/04/2003 -0500, pat hayes wrote: >> >But your example has some >>>other consequences: in fact, it entails that Resource is a subClass >>>of Class, ie that everything is a class. >> >>How do you obtain this? > >Hmm, I thought I knew last night, but I cannot now reproduce that result. >Never mind, pretend I never said it. I stumbled across something like that in my own explorations, but I think it was that I was muddling the domain and range of rdf:type. >>I'm not sure whether these last two paragraphs are justified. >>Couldn't you also say that the new rule rdfs12 shows that the >>rdfs does not enable one to make the domain of rdf:type >>or any of its superproperties any smaller than it is >>(i.e., rdfs:Resource) by adding other domain statements? > >That might indeed be a better way of putting it, thanks for the >suggestion. I will re-draft this paragraph. Yes, I also thought that observation was very much to the point. #g ------------------- Graham Klyne <GK@NineByNine.org> PGP: 0FAA 69FF C083 000B A2E9 A131 01B9 1C7A DBCA CB5E
Received on Tuesday, 15 April 2003 09:28:38 UTC