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

Re: First order logic and SPARQL

From: Sandro Hawke <sandro@w3.org>
Date: Sun, 05 Sep 2010 00:09:56 -0400
To: Bob MacGregor <bob.macgregor@gmail.com>
Cc: Juan Sequeda <juanfederico@gmail.com>, Jitao Yang <jitao.yang@gmail.com>, public-sparql-dev@w3.org
Message-ID: <1283659796.7748.43.camel@waldron>
On Sat, 2010-09-04 at 18:29 -0700, Bob MacGregor wrote:
> It would necessarily
> have closed-world semantics (as does Datalog). 

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?

Meanwhile, I'm listening to the discussion about SPARQL semantics, but
don't have any to add right now.

[Note that list policy is try to reduce cross-posting [1].  I'm dropping
semantic-web@w3.org, because I think this is mostly about SPARQL.]

   -- Sandro

[1] http://www.w3.org/Mail/
Received on Sunday, 5 September 2010 04:10:21 UTC

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