- From: <jos.deroo@agfa.com>
- Date: Sat, 3 Jun 2006 14:17:58 +0200
- To: connolly@w3.org
- Cc: inferenceweb@projects.semwebcentral.org, public-cwm-talk@w3.org, public-cwm-talk-request@w3.org
some more reply; Dan Connolly wrote: [...] >> So http://www.w3.org/2000/10/swap/test/reason/to-pml.n3 is >> perhaps obsolete now. I suppose things will move around >> so they don't live in /lkagal/ so don't take these URIs >> too seriously. >> >> But I think it's pretty interesting that the swap/cwm >> tools and the InferenceWeb tools agree, in an observable >> way, on how to represent a proof, at a certain level. >> >> Jos, I'm curious how the proof representation that euler >> generates relates to http://www.w3.org/2000/10/swap/reason >> and to PML. Any thoughts? > > My thought now is to do things as they are pending > for so long :-) One concrete thing is that I will > start this (long) weekend with recasting our latest > euler5 prolog code to have the proof closer to > http://www.w3.org/2000/10/swap/reason and is like > tweaking the following piece of code 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 and will further continue.. Thanks! -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Saturday, 3 June 2006 12:18:14 UTC