Example of rdf:type and rdfs:subClassOf

A quick question:  I just looking for some confirmation.  If I have the
triples:

<a>
  rdf:type <b> ;
  rdf:type <e> .

<b>
  rdf:type rdfs:Class ;
  rdfs:subClassOf <c> ;
  rdfs:subClassOf <d> .

<c> rdf:type rdfs:Class .
<d> rdf:type rdfs:Class .
<e> rdf:type rdfs:Class .

The would the following statements be true?  (That is, can they be inferred?)

<a> rdf:type <c> .
<a> rdf:type <d> .

This is probably a trivial question; I'm just looking for some clarification. 
Thanks in advance.  :-)


--
Jimmy Cerra
https://nemo.dev.java.net


		
__________________________________ 
Do you Yahoo!? 
Yahoo! Mail - Helps protect you from nasty viruses. 
http://promotions.yahoo.com/new_mail

Received on Thursday, 7 April 2005 08:43:25 UTC