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

Re: inferenceweb browser and cwm interoperating

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
Message-ID: <OF322F4B10.510E9AE8-ONC1257182.0042F3CA-C1257182.004389A8@agfa.com>

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 GMT

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