- From: David Menendez <zednenem@psualum.com>
- Date: Wed, 20 Nov 2002 01:31:51 -0500
- 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 UTC