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