Re: negation as failure

Hi,

Using Joseki's web form, I've run the same queries. In this case, I get the
same number of results for:

?a rt:sim ?b . ?b rt:bi_to ?c . ?a rt:bi_to ?c

and the equivalent query using OPTIONAL/BOUND/FILTER:

?a rt:sim ?b . ?b rt:bi_to ?c
. OPTIONAL { ?a rt:bi_to ?c2 . FILTER(?c = ?c2) }
. FILTER (BOUND(?c2))

at 2,734 hits each. This differs from 4store which appears to be returning
5,800 hits for the first (simple) query but 2,734 for the latter (complex).
By eye, it looks like may of the 'extra' results from 4store contain nulls
for ?b which smells buggy to me.

Matthew