Re: Equality in FILTER [#ValueTesting]

On 18 Apr 2006, at 10:15, Seaborne, Andy wrote:
> Alt 1: If "sameValueAs" is false (the processor does not definitely  
> know that they are the same) then both "sameValueAs" and  
> "notSameValueAs" can be false at the same time (the cases where the  
> processor has no clue about the datatype and the lexical forms are  
> different, or it is two different datatypes, at least one of which  
> is unknown to the processor).
>
> That is
>    not(sameValueAs(?x,?y)) is different from "notTheSameValueAs(?x,? 
> y)"
>
> Alt 2: Alternatively, it can be a "can't compare error", so
>
>    not(sameValueAs(?x,?y)) is the same as "notTheSameValueAs(?x,?y)"
>
> and sameValueAs and notTheSameValueAs return true/false only when  
> they positively know that to be the case.

I slightly prefer 2, but not for any good reasons.

- Steve

Received on Tuesday, 18 April 2006 09:40:33 UTC