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