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

RE: RDF vocabulary definitions

From: Rinke Hoekstra <rinke@lri.jur.uva.nl>
Date: Tue, 19 Nov 2002 19:34:31 +0100
To: "'Richard H. McCullough'" <rhm@cdepot.net>, <www-rdf-interest@w3.org>
Message-ID: <000a01c28ffa$4cf13f70$0a41c33e@Rhino>
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
 
Received on Tuesday, 19 November 2002 13:36:41 GMT

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