> >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/phayesReceived on Friday, 29 August 2003 18:43:06 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:59:44 EDT