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 UTC