W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > May 2003

Re: resolving some semantics issues

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
Message-ID: <OF10873E01.DF8C49C8-ONC1256D27.00821C89-C1256D27.0082E448@agfa.be>

>>>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
>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
(as we tried to show in

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 15 May 2003 19:50:51 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:05 UTC