W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

Re: RDF Semantics: RDFS entailment lemma

From: Graham Klyne <GK@ninebynine.org>
Date: Tue, 15 Apr 2003 14:12:00 +0100
Message-Id: <5.1.0.14.2.20030415141117.02fe3ec0@127.0.0.1>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT