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

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 UTC