status of rdfs:Class

• From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
• Date: Wed, 18 Jun 2003 15:21:37 -0400 (EDT)
• To: www-rdf-comments@w3.org
• Message-Id: <20030618.152137.93392232.pfps@research.bell-labs.com>

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