- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 8 Nov 2002 12:21:51 -0600
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, Jeen Broekstra <jeen.broekstra@aidministrator.nl>
- Cc: www-rdf-interest@w3.org
>From: Jeen Broekstra <jeen.broekstra@aidministrator.nl> >Subject: Re: comments on current (6 Nov) draft of RDF MT document >Date: Fri, 08 Nov 2002 15:07:14 +0100 > >> Peter F. Patel-Schneider wrote: >> > > [snip] >> > > > >> I'm baffled by these two observations. Where is it specified that every >> resource is a subClassOf rdfs:Resource? > >The new definition of rdfs:subClassOf is iff. The class extension of every >resource is a subset of the class extension of rdfs:Resource. Therefore >every resource is an rdfs:subClassOf rdfs:Resourse. Right, this is a bug. It should be iff but restricted to classes; similarly for properties and subpropertyof. I will fix this. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Friday, 8 November 2002 13:21:31 UTC