RE: Questions about OPTIONAL

[...]

> That seems more like:
>                A and (B or true)
> than:
>                A and (B or not B) 
>
> You can't really simulate an optional without some form of not (NAF).

I still do the former, but that gives, as Andy says unhelpful answers.
I also did the latter a while back, but then in a monotonic way using
log:notIncludes, however a test case like
http://www.w3.org/2001/sw/DataAccess/tests/#dawg-opt-query-001
is then not giving that "Eve" solution (it works nicely for instance
when in the data :eve is used, but bnodes are existential variables
and ?SRC log:notIncludes {_:eve_0 foaf:mbox <#mbox>} is not the case).
I actually can't implement OPTIONAL 

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Thursday, 24 February 2005 13:06:43 UTC