W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2006

Re: inferenceweb browser and cwm interoperating (euler too!)

From: Dan Connolly <connolly@w3.org>
Date: Fri, 09 Jun 2006 17:26:11 -0500
To: jos.deroo@agfa.com
Cc: public-cwm-talk@w3.org
Message-Id: <1149891971.14908.102.camel@dirk.w3.org>

On Sat, 2006-06-03 at 14:17 +0200, jos.deroo@agfa.com wrote:
[...]
> which is now
> http://eulersharp.cvs.sourceforge.net/eulersharp/2006/02swap/euler.yap?revision=1.44
> and produces
> http://eulersharp.cvs.sourceforge.net/eulersharp/2006/02swap/etc5.ref?revision=1.58
> and it is a pleasure to use
> http://www.w3.org/2000/10/swap/reason

Wow... I got check.py to check the first proof there with just a couple
tweaks:

1. add a r:Proof on the ultimate step
2. add r:source <http://www.agfa.com/w3c/euler/socrates.n3>
   to the 2 parsing steps and take the r:gives off them

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Friday, 9 June 2006 22:26:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:11:02 GMT