W3C home > Mailing lists > Public > www-rdf-comments@w3.org > July to September 2002

Re: bug in RDF model theory having to do with rdfs:subClassOf and rdfs:subPropertyOf

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 20 Sep 2002 21:04:40 -0500
Message-Id: <p05111b20b9b183c2175c@[65.217.30.172]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-rdf-comments@w3.org

>The RDF model theory document of 29 April 2002
>(http://www.w3.org/TR/2002/WD-rdf-mt-20020429/) has a bug having to do with
>rdfs:subClassOf and rdfs:subPropertyOf.
>
>In the model theory it is not necessary for rdfs:subClassOf or
>rdfs:subPropertyOf to be transitive in rdfs interpretations.

Can you point out the bug in a little more detail? I was under the 
impression that the MT  *did* require them to be transitive, so I do 
not yet see exactly where the problem is.

Pat



-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Friday, 20 September 2002 22:04:38 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:30 GMT