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, AxelReceived 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