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

Re: RDF vocabulary definitions

From: David Menendez <zednenem@psualum.com>
Date: Wed, 20 Nov 2002 01:31:51 -0500
Message-Id: <a05111b08ba00d7330108@[10.0.1.2]>
To: Sandro Hawke <sandro@w3.org>
Cc: www-rdf-interest@w3.org

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 01:30:31 GMT

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