- From: Axel Polleres <axel.polleres@deri.org>
- Date: Wed, 24 Feb 2010 20:58:40 +0000
- To: Ivan Herman <ivan@w3.org>
- Cc: "Sandro Hawke" <sandro@w3.org>, "Birte Glimm" <birte.glimm@comlab.ox.ac.uk>, "SPARQL Working Group" <public-rdf-dawg@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 UTC