W3C home > Mailing lists > Public > semantic-web@w3.org > September 2010

Re: First order logic and SPARQL

From: Pat Hayes <phayes@ihmc.us>
Date: Sun, 5 Sep 2010 20:31:43 -0500
Cc: Adrian Walker <adriandwalker@gmail.com>, semantic-web@w3.org, public-sparql-dev@w3.org
Message-Id: <87C77800-54AF-4F22-83BB-F1D069D0A76A@ihmc.us>
To: Bob MacGregor <bob.macgregor@gmail.com>

On Sep 5, 2010, at 4:48 PM, Bob MacGregor wrote:

> My personal interest is in a query language for RDF that's easy to use, and, among other things,
> has a negation operator that is intuitive. 

Id be interested to know what you consider to be intuitive here. Is negation by failure intuitive for most Web sources? Do you routinely conclude, from a failure to find a sentence asserted on a website, that it is false? 

Pat Hayes


> If SPARQL 1.1 adds a negation operator, that is good to know.
> 
> I would  be interested to learn of a datalog-with-negation implemented by translating to SPARQL,
> since datalog and its variants is IMO intuitive.   Are the results that show a mapping between
> a datalog variant and SPARQL just papers, or has someone actually implemented a Datalog-like
> front end that translates to SPARQL?  I'd like to see that.  Note: Axel cites a paper that translates
> in the other direction -- that's not what I'm after.
> 
> - Bob

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Monday, 6 September 2010 01:32:16 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:37 GMT