- From: Chimezie Ogbuji <chimezie@gmail.com>
- Date: Sun, 5 Sep 2010 00:43:18 -0400
- 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