- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Fri, 10 Sep 2004 17:36:29 +0200
- To: andy.seaborne@hp.com
- Cc: "RDF Data Access Working Group" <public-rdf-dawg@w3.org>, public-rdf-dawg-request@w3.org
Andy wrote: > >> Dan - what's cwm's execution algorithm here for matching the LHS of >> log:implies? > > PS > > Question to everyone: It seems cwm is doing some osrt of dependency > tracking of varables inside the rule head. How does this extend to > working with persistently storage? What's the current state of the art > (e.g. Prolog) here? I haven't checked recently and can only tell what we do.. For each log:includes and log:notIncludes we spawn a new engine and load it with the LHS and run simple entailment of RHS. In case of variables we have to backtrack across engines (and still have some bugs :(). -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 10 September 2004 15:37:38 UTC