W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

status of rdfs:Class

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

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT