Re: euler state of the art?

Dan Connolly wrote:
> On Mon, 2006-11-06 at 18:52 +0100, jos.deroo@xxxxxxxx wrote:
> > Dan Connolly wrote:
> > > Jos,
> > > 
> > > The version of Euler that produces swap/reason proofs...
> > > is that released?
> > 
> > Yes, Dan, it is released but it is the prolog version only that
> > produces swap/reason proofs. [...]
>
> Thanks for the quick info. That's just what I needed.
> Wish me luck getting it working...

Forgot to do that, but hope you felt like having luck :-)

> > I tried to check your proof and got...
> >   File "../../../2000/10/swap/check.py", line 607, in getSymbol
> >     raise RuntimeError("Can't de-reify %s" % x)
> > RuntimeError: Can't de-reify p3q-ns-example
>
> I think it's complaining about this binding:
>
>     r:binding [ r:variable [ n3:uri "http://localhost/var#IR";];
> r:boundTo 
> <http://www.w3.org/2004/01/rdxh/p3q-ns-example>]; 
>
> I think that should be:
>  :boundTo  [ n3:uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example"; ];

You were absolutely right; should be fixed now
http://eulersharp.cvs.sourceforge.net/eulersharp/2006/02swap/euler.yap?r1=1.104&r2=1.105&sortby=date
http://eulersharp.sourceforge.net/2004/01swap/deployment/Euler.zip

Now check.py says..


     @prefix : <http://www.w3.org/2003/g/data-view#> .
 
    <http://www.w3.org/2004/01/rdxh/p3q-ns-example>     :result 
{<http://www.w3.org/2004/01/rdxh/p3q-ns-example> :namespaceTransformation 
<http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> .
        } .
 

1: ...
 [by parsing <grddl-rule-tests.n3>]

2: <http://www.w3.org/2004/01/rdxh/p3q-ns-example> :result 
{<http://www.w3.org/2004/01/rdxh/p3q-ns-example> :namespaceTransformation 
<http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } .
 [by CE on 1 (@@_g_L26C5)]

3: ...
 [by parsing <grddl-rule-goal.n3>]

4: @forAll :G, :IR . { :IR grddl:result :G . } log:implies {:IR 
grddl:result :G . } .
 [by CE on 3 (@@_g_L29C12)]

5: <http://www.w3.org/2004/01/rdxh/p3q-ns-example> :result 
{<http://www.w3.org/2004/01/rdxh/p3q-ns-example> :namespaceTransformation 
<http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } .
 [by GMP on 4, [2]]

6: <http://www.w3.org/2004/01/rdxh/p3q-ns-example> :result 
{<http://www.w3.org/2004/01/rdxh/p3q-ns-example> :namespaceTransformation 
<http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } .
 [by CI on [5]]


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/