- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Fri, 16 May 2003 01:49:30 +0200
- To: "pat hayes <phayes" <phayes@ai.uwf.edu>
- Cc: Brian McBride <bwm@hplb.hpl.hp.com>, w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
[...] >>>re. issue pfps-05, I propose that we accept it and note that it is >>>addressed by rule rdfs1 in section 4.2 of the editor's draft. >>> >>>(Jeremy, the cases you mention >>>rdfs:Literal rdfs:subClassOf rdfs:Resource >>>rdfs:Class rdfs:subClassOf rdfs:Resource >>>follow from the range constraints on subClassOf, which require >>>rdfs:Literal and rdfs:Class both to be of type class, then rule >>>rdfs7a.) >> >> >>jjc? > >I belive that Euler has checked that all the obvious cases are in the >closure, BTW. (I wished he would still be alive... Leonhard Euler. Born: 15 April 1707 in Basel, Switzerland Died: 18 Sept 1783 in St Petersburg, Russia ) indeed the empty graph entails http://www.agfa.com/w3c/euler/rdfs-query.n3 (as we tried to show in http://www.agfa.com/w3c/euler/rdfs-result.n3 ) -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 15 May 2003 19:50:51 UTC