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 C29EReceived on Monday, 6 November 2006 18:03:20 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:09:54 GMT