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

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?


Received on Wednesday, 24 February 2010 20:59:17 UTC