- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Sat, 26 Sep 2009 15:37:50 +0100
- To: "Chimezie Ogbuji" <ogbujic@ccf.org>
- Cc: "Birte Glimm" <birte.glimm@comlab.ox.ac.uk>, "SPARQL Working Group" <public-rdf-dawg@w3.org>
On 26 Sep 2009, at 14:26, Chimezie Ogbuji wrote: > Regarding RIF. [snip] > The guarantee of a finite set of answers is the main driver of the > constraints regarding SPARQL extensions for entailment regimes. The > "strongly safe rule sets" restrictions on producers of RIF Core meet > this > condition for extensions to SPARQL. So, a SPARQL extension for RIF > Core > entailment should be a simple addition to this framework To elaborate, I *think* (axel?) that the key RIF dialects: 1) Don't have generative functions or bnodes 2) Don't admit (or haven't yet at least) infinite axiom sets What might be an issue is error handling and propagation. Cheers, Bijan.
Received on Saturday, 26 September 2009 14:38:27 UTC