W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

Re: datatypes part 3

From: Dan Connolly <connolly@w3.org>
Date: 11 Dec 2002 14:51:38 -0600
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: www-webont-wg@w3.org
Message-Id: <1039639899.2129.452.camel@dirk>

On Wed, 2002-12-11 at 12:54, Jeremy Carroll wrote:
> 
> Peter wrote: [1]
> [[
> 3/ OWL will include all XML Schema built-in non-list simple types, using 
> the canonical URI reference for them.
> ]]
> 
> Jeremy wrote: [2]
> [[
> Exclude xsd:QName, xsd:ENTITY, xsd:NOTATION
> ]]
> 
> Also exclude xsd:duration, because it has no well defined canonical form,

How is that a problem? As long as the mapping (from
values to lexical forms) is InverseFunctional, that's
all we need, no?

i.e. can you make an OWL test case where this matters?

> and equality is not well-defined.

Could you elaborate? Equality of six-tuples
is clear enough, no?

"The ˇvalue spaceˇ of duration is a six-dimensional space where the
coordinates designate the Gregorian year, month, day, hour, minute, and
second components"

-- http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/#duration

again, a test case would be most helpful.

> Caution would suggest excluding xsd:ID and xsd:IDREF since they seem to be 
> about xml validation rather than lexical to value mappings.
> 
> If we include xsd:float, xsd:double and xsd:anyURI we should be aware of 
> issues to do with equality that are unresolved. [3]
> 
> Jeremy
> 
> 
> [1]
> http://lists.w3.org/Archives/Public/www-webont-wg/2002Nov/0265.html
> [2]
> http://lists.w3.org/Archives/Public/www-webont-wg/2002Nov/0278.html
> [3]
> http://lists.w3.org/Archives/Public/www-archive/2002Nov/att-0092/02-index
> 
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 11 December 2002 15:51:26 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:55 GMT