Re: RDF Investigations

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