Re: [TF-ENT] RDFS entailment regime proposal

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