W3C home > Mailing lists > Public > www-archive@w3.org > November 2006

Re: euler state of the art?

From: <jos.deroo@agfa.com>
Date: Tue, 7 Nov 2006 14:31:23 +0100
To: connolly@w3.org
Cc: www-archive@w3.org
Message-ID: <OF2E8CB0AA.6CE2258E-ONC125721F.0049831E-C125721F.004A43ED@agfa.com>

Dan Connolly wrote:
> On Mon, 2006-11-06 at 18:52 +0100, jos.deroo@agfa.com 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/
Received on Tuesday, 7 November 2006 13:31:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:18:00 GMT