On Sep 5, 2010, at 11:40 PM, Bob MacGregor wrote: > Hi Pat, > > I put together an example a year or so where I executed a SPARQL query, and > got a result, and > then added a triple to the graph, and ran the same query, and one of the > binding sets in the original result > was not present in the new result. That sure sounds non-monotonic to me.
I guess it is in a sense, though I'd like to see the example before committing myself. My point however was directed at the assumption that implementing not-exists queries itself made the logic nonmonotonic, which is incorrect. Pat > Now it may be that the triple > store that I ran on had an incorrect implementation of SPARQL, but if so that > vendor was unaware of > the fact. Are you claiming that the behavior that I saw would be an > indication of an incorrectly-implemented > SPARQL on whatever RDF store I observed it? > > - 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
