- From: pat hayes <phayes@ihmc.us>
- Date: Fri, 29 Aug 2003 15:43:18 -0700
- To: Jan Grant <Jan.Grant@bristol.ac.uk>
- Cc: w3c-rdfcore-wg@w3.org
> >From the editor's draft: > >[[ >Suppose that it is known that the value space of the datatype denoted by >ddd is a subset of that of the datatype denoted by eee. Then the >following rule applies: > >rdfD 4 > >when: > ddd rdf:type rdfs:Datatype . > eee rdf:type rdfs:Datatype . > >then: > ddd rdfs:subClassOf eee . >]] > >Just clarifying for myself: we keep this extensional behaviour despite >the change to "intensional semantics" elsewhere? Yes, we (ie the WG) decided that this would be more intuitive. Its kind of take-it-or-leave-it as far as Im concerned. >(Actually, it's hard to >think of a case where you wouldn't want this to be true.) Indeed. Pat >-- >jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ >Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ >Don't annihilate, assimilate: MacDonalds, not missiles. -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ihmc.us http://www.ihmc.us/users/phayes
Received on Friday, 29 August 2003 18:43:06 UTC