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@[]>
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.


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Friday, 20 September 2002 22:04:38 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:18 UTC