On Sun, Sep 5, 2010 at 12:09 AM, Sandro Hawke <[email protected]> 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
