RE: RDF vocabulary definitions

Richard,
 
Although I am most certainly not an expert, I have some remarks below. 
 
-----Original Message-----


The rdf-mt document HYPERLINK
"http://www.w3.org/TR/2002/WD-rdf-mt-20021112/"http://www.w3.org/TR/2002
/WD-rdf-mt-20021112/ 
says in Appendix A, "RDF Axioms":
    rdf:type(?x,?y)  iff  ?y(?x)
The triple translation is
<?x> <rdf:type> <?y>  iff  <?x> <rdfs:subClassOf> <?y>
 
I do not agree, the appendix under “RDFS Axioms” states (slightly
rewritten to avoid confusion):
            ?y(?x) implies rdfs:Class(?y)
Which means that ?y is a class if ?x is of the type ?y. This shows that
?y(?x) does not mean that ?x is a subclass of ?y at all. Why would we
need a distinction between rdf:type and rdfs:subClassOf if they were
equivalent?
 
Regards,
 
            Rinke Hoekstra

---
Incoming mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.419 / Virus Database: 235 - Release Date: 13-11-2002


---
Outgoing mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.419 / Virus Database: 235 - Release Date: 13-11-2002