On Sun, Jun 23, 2013 at 12:30 PM, Adrian Walker <adriandwal...@gmail.com> wrote: > Hi Gregg, > > Interesting. > > You may like the example > > www.reengineeringllc.com/demo_agents/RDFQueryLangComparison1.agent > > For the non-aggregation parts of the example, the formal semantics in effect > are described in > > Backchain Iteration: Towards a Practical Inference Method that is Simple > Enough to be Proved Terminating, Sound and Complete. Journal of Automated > Reasoning, 11:1-22 > Thank you, I'll take a look.
Gregg
