Re: RDF vocabulary definitions

This sounds to me like the same confusion between two different definitions of "Class".  
I offer these two definitions:

Class1 is the Datatype used to represent a concept.

Class2 is concept.
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition

  ----- Original Message ----- 
  From: David Menendez 
  To: Sandro Hawke 
  Cc: www-rdf-interest@w3.org 
  Sent: Tuesday, November 19, 2002 10:31 PM
  Subject: Re: RDF vocabulary definitions



  At 10:48 PM -0500 2002-11-19, Sandro Hawke wrote:
  >These are true though, I think:
  >
  >   x rdf:type rdfs:Property.  
  >   iff
  >   x rdfs:subPropertyOf rdfs:Property.
  >
  >and
  >
  >   x rdf:type rdfs:Class. 
  >   iff
  >   x rdfs:subClassOf rdfs:Resource.
  >
  >and that little asymmetry was confusing me.

  The second implication is true (it's rdfs7a), but I don't believe the 
  first one is. As far as I'm aware, rdf:Property is a class, not a 
  property, so it wouldn't have sub-properties.

  Otherwise,
     eg:my_car eg:color "Green".
  Implies
     eg:color rdf:type rdf:Property.           # rdf1
     eg:color rdfs:subPropertyOf rdf:Property. # what you just said
     eg:my_car rdf:Property "Green".           # rdfs6
     rdf:Property rdf:type rdf:Property.       # rdf1

  According to the schema:
     rdf:Property rdf:type rdfs:Class.

  RDF doesn't forbid terms from being both property and class, but I'm 
  not aware of anything suggesting that rdf:Property is one of them.

  Is it possible you're thinking of rdfs5b?

     X rdf:type rdf:Property.
  Implies
     X rdfs:subPropertyOf X.

  -- 
  Dave Menendez - zednenem@psualum.com - http://www.eyrie.org/~zednenem/