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

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 EDT

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