Re: Open world value tests

On Sat, Oct 28, 2006 at 10:50:31AM +0200, Eric Prud'hommeaux wrote:
> I have defined and implemented extensions that produce the same
> results at AndyS's reported results. The manifest file I used
> (attached) has 6 extensions that I have isolated:
> 
>   mfx:StringSimpleLiteralCmp — allow simple literal and xsd:strings to
>   be compared
> ┏━━━━━━┯━━━━━━━━━━━━━━┯━━━━━━━━━━━━━━┯━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┯━━━━━━━━━━━┓
> ┃A = B │xsd:string    │simple literal│op:numeric-equal(fn:compare(STR(A), B), 0)        │xsd:boolean┃
> ┃A = B │simple literal│xsd:string    │op:numeric-equal(fn:compare(A, STR(B)), 0)        │xsd:boolean┃
> ┃A != B│xsd:string    │simple literal│fn:not(op:numeric-equal(fn:compare(STR(A), B), 0))│xsd:boolean┃
> ┃A != B│simple literal│xsd:string    │fn:not(op:numeric-equal(fn:compare(A, STR(B)), 0))│xsd:boolean┃
> ┃A < B │xsd:string    │simple literal│op:numeric-equal(fn:compare(STR(A), B), -1)       │xsd:boolean┃
> ┃A < B │simple literal│xsd:string    │op:numeric-equal(fn:compare(A, STR(B)), -1)       │xsd:boolean┃
> ┃A > B │xsd:string    │simple literal│op:numeric-equal(fn:compare(STR(A), B), 1)        │xsd:boolean┃
> ┃A > B │simple literal│xsd:string    │op:numeric-equal(fn:compare(A, STR(B)), 1)        │xsd:boolean┃
> ┃A <= B│xsd:string    │simple literal│fn:not(op:numeric-equal(fn:compare(STR(A), B, 1)) │xsd:boolean┃
> ┃A <= B│simple literal│xsd:string    │fn:not(op:numeric-equal(fn:compare(A, STR(B), 1)) │xsd:boolean┃
> ┃A >= B│xsd:string    │simple literal│fn:not(op:numeric-equal(fn:compare(STR(A), B, -1))│xsd:boolean┃
> ┃A >= B│simple literal│xsd:string    │fn:not(op:numeric-equal(fn:compare(A, STR(B), -1))│xsd:boolean┃
> ┗━━━━━━┷━━━━━━━━━━━━━━┷━━━━━━━━━━━━━━┷━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┷━━━━━━━━━━━┛
>   "xyz"^^<http://www.w3.org/2001/XMLSchema#string> = "xyz"

I wanted to make sure I understood AndyS's semantics here, in
particular, how they interact with sameTerm, so I wrote up a separate
manifest:
  http://www.w3.org/2001/sw/DataAccess/tests/data/OpenWorld/sameTerm-manifest.ttl

The only interesting one is the last one,
sameTerm-not-eq-StringSimpleLiteralCmp, which tests
  !sameTerm('xyz', 'xyz'^^xsd:string) and 'xyz'='xyz'^^xsd:string
and discovers that they are equivalent but not the
same term (as they are without StringSimpleLiteralCmp).

algae test summary attached
-- 
-eric

home-office: +1.617.395.1213 (usually 900-2300 CET)
	    +33.1.45.35.62.14
cell:       +33.6.73.84.87.26

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.