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

 ddd rdf:type rdfs:Datatype .
 eee rdf:type rdfs:Datatype .

 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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:07 UTC