W3C home > Mailing lists > Public > public-sparql-dev@w3.org > July to September 2010

Re: First order logic and SPARQL

From: Chimezie Ogbuji <chimezie@gmail.com>
Date: Sun, 5 Sep 2010 00:43:18 -0400
Message-ID: <AANLkTin=KvjCE+9o9FNztY=pUoNJraBunikh+cjK4BVr@mail.gmail.com>
To: Sandro Hawke <sandro@w3.org>
Cc: Bob MacGregor <bob.macgregor@gmail.com>, Juan Sequeda <juanfederico@gmail.com>, Jitao Yang <jitao.yang@gmail.com>, public-sparql-dev@w3.org
On Sun, Sep 5, 2010 at 12:09 AM, Sandro Hawke <sandro@w3.org> wrote:
> On Sat, 2010-09-04 at 18:29 -0700, Bob MacGregor wrote:
> My understanding is that in datalog you can't tell if it's closed or
> open world, since there's no negation (or negation-like operators, such
> as OPTIONAL).   As such, datalog can be a subset of both prolog and FOL.
>
> Am I wrong about that?

No, you are right, the term "CWA" doesn't apply to a definite /
positive KR like datalog

-- Chime
Received on Sunday, 5 September 2010 04:43:51 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:15:50 UTC