W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

DTB ready for review (resolving ACTION-811, ACTION-740, ACTION-812)

From: Axel Polleres <axel.polleres@deri.org>
Date: Wed, 13 May 2009 02:49:25 +0100
Message-ID: <4A0A2725.5010205@deri.org>
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
DTB is ready for review.

Some removed Editor's notes in DTB haven't been discussed in today's 

does not depend on a specific intended domain, such as the union of all 
value spaces of datatypes supported by the dialect at hand,  for its 
arguments but instead is false in case an argument is outside the value 
spaces of the supported datatypes. The implications on this regarding 
extensibility are still being discussed, see also 

Has been addressed with the latest version of that predicate as 
suggested by Jos/Michael.

{{EdNote|text=The formulation of the clause on namespace-reuse is under 
discussion, for instance, whether we shall allow guards and negative 
guards for all of the XML Schema primitive datatypes under the 
<tt>pred:</tt> namespace.}}

This editor's note on the naming of guards and negative guards have been 
resolved with the naming agreed in the last f2f.

{{EdNote|text=Due to the subtle differences in casting, e.g., concerning 
error handling, between RIF and 
<nowiki>[</nowiki>[[#ref-xpath-functions|XPath-Functions]]], the 
definitions of cast functions might still need refinement in terms of 
defining the domains in future versions of this draft. Also, the 
definition of the mappings need refinement. See 
e-mail], esp. the response to item 6)}}

Casting has been reworked completely, thus this Ednote is obsolete.

The remaining Editor's notes have been addressed as discussed in today's 
Telecon, an additional remark to one of those editor's notes below, 
regardiong ACTION-811:

{{EdNote|text=Note that 
Section 17.1] of 
<nowiki>[</nowiki>[[#ref-xpath-functions|XPath-Functions]]] says that 
for datatypes that do not have a canonical lexical representation 
defined an '''implementation dependent''' canonical representation may 
be used. We probably do not want that. This remark probably applies to 
subtypes of xs:string.}}

What is affected here is casts from double and float to string,

The strawman proposal to address this is now in the separate section on 
casts to xs:string.

As for the editor's notes regarding ACTION-813, I will send a separate mail.


Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland, 
email: axel.polleres@deri.org  url: http://www.polleres.net/
Received on Wednesday, 13 May 2009 01:50:08 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:56 UTC