Whoops - we're getting into one of those cross-posting situations
here. Please note this particular email is going to webont only, not
to rdf-comments. If you are interested in this thread, please
contribute there to avoid cross-posting problems. Peter, when things
develop there that you feel are particularly relevant to us, please
send a separate WOWG note pointing us at the conversation - otherwise
the number of participants will yield exponentially mroe messages.
thanks much
-Jim Hendler
WOWG co-chair
At 3:07 PM +0100 11/8/02, Jeen Broekstra wrote:
>Peter F. Patel-Schneider wrote:
>
>[snip]
>
>(Caveat: I can not find the Nov 6 WD that you are referring to, but
> assume that it is not such a dramatic change from the April 29 version
> that the following no longer holds).
>
>> 7/ The RDFS closure rules are incomplete, even if the above problems
>> are fixed. Therefore, the RDFS entailment lemma is false.
>>
>> For example, rdf:type rdfs:domain foo . a b c . RDFS-entails a
>> rdf:type foo . because every resource has rdfs:Resource as a type, as
>> I have pointed out before.
>
>Isn't this example covered by subsequent application of rdfs4a and rdfs2?
>
>a b c -> a rdf:type rdfs:Resource (rdfs4a)
>
>a rdf:type rdfs:Resource
> & a rdfs:domain foo -> a rdf:type foo (rdfs2)
>
>> Also, a b c . RDFS-entails a rdf:type rdfs:Class . because every
>> resource is a subClassOf rdfs:Resource and, rdfs:subClassOf
>> rdfs:domain foo . a b c . RDFS-entails a rdf:type foo . because
>> [every resource is a subClassOf rdfs:Resource]
>
>I'm baffled by these two observations. Where is it specified that every
>resource is a subClassOf rdfs:Resource?
>
>Best regards,
>
>Jeen
>--
>jeen.broekstra@aidministrator.nl
>aidministrator nederland bv - http://www.aidministrator.nl/
>julianaplein 14b, 3817 cs amersfoort, the netherlands
>tel. +31-(0)33-4659987, fax. +31-(0)33-4659987
--
Professor James Hendler hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies 301-405-2696
Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742 240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler