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

AltStyle によって変換されたページ (->オリジナル) /