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:                                                                                              
                    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
Received on Wednesday, 18 June 2003 18:10:48 GMT

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