- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 20 Sep 2002 21:04:40 -0500
- 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 UTC