[DTB] Action-604 completed

In completion of action 604, I changed the casting to string in DTB
in
  http://www.w3.org/2005/rules/wiki/DTB#xs:string
as follows, in order to cover also casting from rdf:XMLLiteral:


======================<before>==========================================
Intended domain:

The union of the value spaces of datatypes castable to xs:string 
according to 
[http://www.w3.org/TR/2007/REC-xpath-functions-20070123/#casting-from-primitive-to-primitive 
Section 17.1] of  [XPath-Functions].

Mapping:
...
======================</before>==========================================
======================<after>==========================================
Intended domain:

The union the value space of rdf:XMLLiteral with the value spaces of 
datatypes castable to xs:string according to 
[http://www.w3.org/TR/2007/REC-xpath-functions-20070123/#casting-from-primitive-to-primitive 
Section 17.1] of  [XPath-Functions].

Mapping:

I_external( ?arg1; xs:string( ?arg1 ) )(s1) = s1' such that

     * s1' is the conversion of s1 to the value space of xs:string 
according to the table in Section 17.1 of [XPath-Functions], in case s1 
is in the value space of a datatype mentioned there.
     * s1' is the string in the lexical space of rdf:XMLLiteral 
correspoding to s1 (cf. [RDF-CONCEPTS]) ,in case s1 is in the value 
space of rdf:XMLLiteral.

If the argument is outside the intended domain, the value of the 
function is left unspecified and can vary from one semantic structure to 
another.

======================</after>==========================================

I also added an Editor's note, marking this change:
"Casting from rdf:XMLLiteral to xs:string is still under discussion."


Note that I do not really recall what:
"(which requires implementing XML canonicalization."
in the action description of 
http://www.w3.org/2005/rules/wg/track/actions/604
meant... but I think, given that the lexical space for rdf:XMLLiteral is 
in 1:1 correspondence with the strings representing these literals, the 
wording above is fine.


Axel



-- 
Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland, 
Galway
email: axel.polleres@deri.org  url: http://www.polleres.net/

Received on Thursday, 4 December 2008 04:54:44 UTC