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