Re: sorting tests moved to r2

Seaborne, Andy wrote:

> ARQ fails test 11:
> 
> Failure: Test 11 :: sort-11
> Got: 8 --------------------------------
> ------------------------------------------------------
> | name                                               |
> ======================================================
> | "Alice"                                            |
> | "Alice"^^<http://www.w3.org/2001/XMLSchema#string> |
> | "Bob"                                              |
> | "Bob"^^<http://www.w3.org/2001/XMLSchema#string>   |
> | "Eve"                                              |
> | "Eve"^^<http://www.w3.org/2001/XMLSchema#string>   |
> | "Fred"                                             |
> | "Fred"^^<http://www.w3.org/2001/XMLSchema#string>  |
> ------------------------------------------------------
> Expected: 8 -----------------------------
> ------------------------------------------------------
> | name                                               |
> ======================================================
> | "Alice"                                            |
> | "Bob"                                              |
> | "Eve"                                              |
> | "Fred"                                             |
> | "Alice"^^<http://www.w3.org/2001/XMLSchema#string> |
> | "Bob"^^<http://www.w3.org/2001/XMLSchema#string>   |
> | "Eve"^^<http://www.w3.org/2001/XMLSchema#string>   |
> | "Fred"^^<http://www.w3.org/2001/XMLSchema#string>  |
> ------------------------------------------------------
> 
> ORDER BY is by the "<" operator unless it can't split two different RDF
> terms.
> 
> Under the extra conditions rq25 says:
> [[
> The "<" operator (see the Operator Mapping and 11.3.1 Operator
> Extensibility) defines the relative order of pairs of numerics, simple
> literals, xsd:strings, xsd:booleans and xsd:dateTimes. Pairs of IRIs are
> ordered by comparing them as simple literals.
> ....
> 5. A plain literal is lower than an RDF literal with type xsd:string of
> the same lexical form.
> ]]
> 
> The < operator makes "Alice"^^xsd:string < "Fred" and simple literals.

You are likely correct, but I am not sure how you arrived at this, talk
me through with small words please. Condition 5 only states, as I read
it, that:

  "Fred" < "Fred"^^xsd:string

In other words, two literals with the same lexical form only. It does
not tell us how to order a plain/simple literal and a typed literal with
different lexical values (for example "Alice"^^xsd:string and "Fred").

And I can't seem to find where this is defined, in fact. What am I
overlooking?

Jeen
-- 
Dr. Jeen Broekstra                                          Den Dolech 2
Information Systems Group                                        HG 7.76
Department of Mathematics and Computer Science              P.O. Box 513
Technische Universiteit Eindhoven                      5600 MB Eindhoven
tel. +31 (0)40 247 36 86                                 The Netherlands

Received on Tuesday, 26 June 2007 09:20:37 UTC