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? (Actually, it's hard to
think of a case where you wouldn't want this to be true.)

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

Received on Thursday, 28 August 2003 04:57:18 UTC