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: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 26 Sep 2002 07:10:10 -0400 (EDT)
Message-Id: <20020926.071010.46633286.pfps@research.bell-labs.com>
To: www-rdf-comments@w3.org
Cc: pat hayes <phayes@ai.uwf.edu> 

There are other observable consequences of making rdfs:subClassOf an iff
definition in the obvious way.

One such consequence is that every resource is a class, i.e.,

 foo bar baz .

entails

 foo rdf:type rdfs:Class .
 bar rdf:type rdfs:Class .
 baz rdf:type rdfs:Class .


peter
Received on Thursday, 26 September 2002 07:10:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 18:22:13 GMT