W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > July to September 2004

RE: UNSAID : issues in interpretting a query

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
Message-ID: <OFC75741B0.384D87F1-ONC1256F0B.0055075D-C1256F0B.0055C4D5@agfa.com>

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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:20 GMT