W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > January to March 2010

Re: [TF-ENT] Agenda 24th Feb teleconf

From: Axel Polleres <axel.polleres@deri.org>
Date: Wed, 24 Feb 2010 20:58:40 +0000
Cc: "Sandro Hawke" <sandro@w3.org>, "Birte Glimm" <birte.glimm@comlab.ox.ac.uk>, "SPARQL Working Group" <public-rdf-dawg@w3.org>
Message-Id: <3688E7DC-BB95-46BB-966A-2469CC634766@deri.org>
To: Ivan Herman <ivan@w3.org>
Just to follow up on this question...


On 24 Feb 2010, at 10:23, Ivan Herman wrote:

>> The advantage of (strongly safe) RIF Core is that it lends itself straightforwardly to the
>> idea of defining the entailment regime via the closure (i.e. minimal Herbrand model), since 
>> it is always finite. For other entailment regimes, restricting to a finite answer set is trickier.
>> 
> 
> What is strongly safe RIF Core?

http://www.w3.org/TR/rif-core/#Strong_Safeness_.28Informative.29

best,
Axel
Received on Wednesday, 24 February 2010 20:59:17 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:41 GMT