- From: <jos.deroo@agfa.com>
- Date: Sat, 10 Jun 2006 01:09:21 +0200
- To: connolly@w3.org
- Cc: public-cwm-talk@w3.org
Dan Connolly wrote: > 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 That was fixed last Sunday and the actual etc5.ref is at http://eulersharp.sourceforge.net/2006/02swap/etc5.ref > 2. add r:source <http://www.agfa.com/w3c/euler/socrates.n3> > to the 2 parsing steps and take the r:gives off them That's a bit more difficult as we currently in the euler5 prototype get the input from euler1 which does the n3 parsing and the aggregation of input fact and rule files and we give the source information right now as [ a r:Parsing; r:gives (<http://www.agfa.com/w3c/euler/socrates.n3>!log:semantics <http://www.agfa.com/w3c/euler/socratesQ.n3>!log:semantics)!log:conjunction It is still a prototype (but runs quite huge test cases) and I will look what can change tomorrow :) and I will check asap with check.py -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ (*)
Received on Friday, 9 June 2006 23:09:36 UTC