- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Tue, 19 Dec 2006 15:11:37 +0100
- To: Christian de Sainte Marie <csma@ilog.fr>
- CC: Gary Hallmark <gary.hallmark@oracle.com>, W3C RIF WG <public-rif-wg@w3.org>
Gary Hallmark wrote: > > is there a general strategy to evaluate recursive positive Horn rules using forward chaining, so that every ruleset in RIF Core can be translated to production rules? Christian de Sainte Marie wrote: > > But, again, is that really relelvant to RIF? Notice that, even if recursion may not be one of them, this sort of problems exist: we still have the question of whether and how datalog engines can conform to RIF Core, for instance... Christian
Received on Tuesday, 19 December 2006 14:11:40 UTC