status of rdfs:Class

I had always thought that 
	x rdf:type y .
rdfs-entailed
	y rdf:type rdfs:Class .
but I am having problems getting this entailment to go through.

So, is this supposed to be an entailment?  

Peter F. Patel-Schneider
Bell Labs Research
Lucent Technologies

Received on Wednesday, 18 June 2003 15:21:47 UTC