Semantics, editor's draft. Datatype classes extensional?

• From: Jan Grant <Jan.Grant@bristol.ac.uk>
• Date: Thu, 28 Aug 2003 09:48:45 +0100 (BST)
• To: RDFCore Working Group <w3c-rdfcore-wg@w3.org>
• Message-ID: <Pine.GSO.4.44.0308280945450.4974-100000@mail.ilrt.bris.ac.uk>

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