Re: Bug: "A value disjunction that encounters a type error on only one branch will return the result of evaluating the other branch."

Dan Connolly wrote:

>On Mon, 2005-08-08 at 13:42 -0500, Dan Connolly wrote:
>  
>
>>FYI, there's another test case available to study:
>>
>>Roman numeral test Dave Beckett (Monday, 8 August)
>>http://lists.w3.org/Archives/Public/public-rdf-dawg/2005JulSep/0228.html
>>
>>->
>>
>>http://www.w3.org/2001/sw/DataAccess/tests/data/ValueTesting/roman.rq
>>http://www.w3.org/2001/sw/DataAccess/tests/data/ValueTesting/roman.n3
>>http://www.w3.org/2001/sw/DataAccess/tests/data/ValueTesting/roman-result.n3
>>
>>
>>Yosi, if you could look at that soon, I'd appreciate it.
>>    
>>
>
>  
>
I was just wondering. What about the opposite query?

PREFIX roman: <http://rome.example.org/>
ASK
WHERE { OPTIONAL
  ?legion roman:legionNumber ?n .
  FILTER ( ?n = 21 )
}
}

There, cwm doesn't know that ?n is NOT equal to 21, so should the query 
succeed?

Yosi