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

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

From: Ivan Herman <ivan@w3.org>
Date: Thu, 25 Feb 2010 09:18:44 +0100
Message-ID: <4B863264.9030302@w3.org>
To: Axel Polleres <axel.polleres@deri.org>
CC: Sandro Hawke <sandro@w3.org>, Birte Glimm <birte.glimm@comlab.ox.ac.uk>, SPARQL Working Group <public-rdf-dawg@w3.org>
Thanks Axel

I.

On 2010-2-24 21:58 , Axel Polleres wrote:
> 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

-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF   : http://www.ivan-herman.net/foaf.rdf
vCard  : http://www.ivan-herman.net/HermanIvan.vcf



Received on Thursday, 25 February 2010 08:18:56 GMT

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