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

Re: euler state of the art?

From: Dan Connolly <connolly@w3.org>
Date: Mon, 06 Nov 2006 12:03:11 -0600
To: jos.deroo@agfa.com
Cc: www-archive@w3.org
Message-Id: <1162836191.8279.259.camel@dirk>

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...

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" ];


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Monday, 6 November 2006 18:03:20 GMT

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