- From: Steve Harris <steve.harris@garlik.com>
- Date: Tue, 23 Jun 2009 15:08:21 +0100
- To: Axel Polleres <axel.polleres@deri.org>
- Cc: public-rdf-dawg@w3.org
On 23 Jun 2009, at 14:08, Axel Polleres wrote: > > 2.3.1 Motivations > > > > > > Perhaps it should say something like "Negation by failure is > possible > > > in many cases"? I'm not sure that anyone has shown that it can > be done > > > in all cases. > > I suggest to add: > > "TODO: Add a reference to the general proof how Negation as failure > can be done using OPTIONALs and FILTER, e.g. I don't think that's necessary. The fact that it's been demonstrated is enough. - Steve
Received on Tuesday, 23 June 2009 14:08:55 UTC