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

Re: Semantics, editor's draft. Datatype classes extensional?

From: pat hayes <phayes@ihmc.us>
Date: Fri, 29 Aug 2003 15:43:18 -0700
Message-Id: <p06001a0dbb75874f28f7@[10.0.1.4]>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:59:44 EDT