re: RDF vocabulary definitions

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/