- From: Gregg Reynolds <dev@mobileink.com>
- Date: Mon, 24 Jun 2013 09:33:34 -0500
- To: Adrian Walker <adriandwalker@gmail.com>
- Cc: public-lod@w3.org
On Sun, Jun 23, 2013 at 12:30 PM, Adrian Walker <adriandwalker@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
Received on Monday, 24 June 2013 14:34:03 UTC