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
and produces
and it is a pleasure to use
and will further continue..

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Saturday, 3 June 2006 12:18:14 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:05 UTC