Re: RDF vocabulary definitions

I suppose it would be less confusing to say that
Property is the class that all properties are subclasses of.
In the sense used in RDFS, every property is a class.
For example, hasSex is the class of pairs [person; sex]
and its individuals are [John Doe; male], [Jane Doe, female], ...
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition

  ----- Original Message ----- 
  From: Richard H. McCullough 
  To: David Menendez ; Sandro Hawke 
  Cc: www-rdf-interest@w3.org 
  Sent: Wednesday, November 20, 2002 7:24 AM
  Subject: Re: RDF vocabulary definitions 


  Everything is either an Individual or a Class.
  Property is a Class, and it is the property which all properties are subproperties of.
  ============ 
  Dick McCullough 
  knowledge := man do identify od existent done
  knowledge haspart list of proposition

    ----- Original Message ----- 
    From: Sandro Hawke 
    To: David Menendez 
    Cc: www-rdf-interest@w3.org 
    Sent: Wednesday, November 20, 2002 7:01 AM
    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.

    Of course you're right again.   I give up.   :-)    (I really
    shouldn't try to do think when I'm sitting in meetings.)

    (Is there a name for the Property which all Properties are
    sub-properties of?    I've heard people joke that it's rdfs:seeAlso,
    but is it defined as something?)

         -- sandro