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

Re: status of rdfs:Class

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 19 Jun 2003 00:10:28 +0200
To: pfps@research.bell-labs.com
Cc: www-rdf-comments@w3.org, www-rdf-comments-request@w3.org
Message-ID: <OF99202CA4.A5A16DEB-ONC1256D49.0079273F-C1256D49.0079D1C8@agfa.be>

It is the case that according to rdfs3

  rdf:type rdfs:range rdfs:Class.
  :x rdf:type :y.
  :y rdf:type rdfs:Class.

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

                    "Peter F.                                                                                             
                    Patel-Schneider"            To:     www-rdf-comments@w3.org                                           
                    <pfps@research.bell-l       cc:                                                                       
                    abs.com>                    Subject:     status of rdfs:Class                                         
                    Sent by:                                                                                              
                    2003-06-18 09:21 PM                                                                                   

I had always thought that
           x rdf:type y .
           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 18:10:48 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:20 UTC