W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > April to June 2009

Re: Review of F&R doc

From: Steve Harris <steve.harris@garlik.com>
Date: Tue, 23 Jun 2009 15:08:21 +0100
Cc: public-rdf-dawg@w3.org
Message-Id: <7196DC63-2A06-4193-B220-FFE269F5124B@garlik.com>
To: Axel Polleres <axel.polleres@deri.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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:39 GMT