W3C home > Mailing lists > Public > www-rdf-interest@w3.org > November 2002

re: RDF vocabulary definitions

From: David Menendez <zednenem@psualum.com>
Date: Wed, 20 Nov 2002 22:30:00 -0500
Message-Id: <a05111b10ba0202a5b42a@[10.0.1.2]>
To: "Richard H. McCullough" <rhm@cdepot.net>
Cc: "RDF-Interest" <www-rdf-interest@w3.org>
At 5:29 PM -0800 2002-11-20, Richard H. McCullough wrote:
>You said:
>     If you're seeing something in what I wrote that implies that 
>rdf:Property is a subclass of rdfs:Class, please point it out to me.
>
>The thing that I saw was your definition of rdfs:Class as being the 
>set of y such that
>     x  rdf:type  y
>from that and
>     z  rdf:type  rdfs:Property
>it follows that
>     rdfs:Property  subClassOf  rdfs:Class

That does not follow from what I said. You are confusing "X 
rdfs:subClassOf rdfs:Class." with "X rdf:type rdfs:Class.". These are 
different things.

I(rdf:Property) is a member of ICEXT(I(rdfs:Class)). This does not imply that
ICEXT(I(rdf:Property)) is a subset of ICEXT(I(rdfs:Class)).
-- 
Dave Menendez - zednenem@psualum.com - http://www.eyrie.org/~zednenem/
Received on Wednesday, 20 November 2002 22:28:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:57 GMT