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

>  >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