Re: status of rdfs:Class

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 18:22:17 GMT

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:                                                                                              
                    www-rdf-comments-requ                                                                                 
                    est@w3.org                                                                                            

                    2003-06-18 09:21 PM                                                                                   

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