W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2009

Re: [TF-ENT] RDFS entailment regime proposal

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Sat, 26 Sep 2009 15:37:50 +0100
Cc: "Birte Glimm" <birte.glimm@comlab.ox.ac.uk>, "SPARQL Working Group" <public-rdf-dawg@w3.org>
Message-Id: <BEB99383-B035-416C-9980-200B14E49DE0@cs.man.ac.uk>
To: "Chimezie Ogbuji" <ogbujic@ccf.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 12:08:28 GMT