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

Re: RDF vocabulary definitions

From: Richard H. McCullough <rhm@cdepot.net>
Date: Tue, 19 Nov 2002 23:07:18 -0800
Message-ID: <000a01c29063$7751d950$bd7ba8c0@rhm8200>
To: "Sandro Hawke" <sandro@w3.org>, "David Menendez" <zednenem@psualum.com>
Cc: <www-rdf-interest@w3.org>
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/
Received on Wednesday, 20 November 2002 02:07:22 GMT

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