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

inferenceweb browser and cwm interoperating

From: Dan Connolly <connolly@w3.org>
Date: Thu, 01 Jun 2006 11:16:35 -0500
To: inferenceweb@projects.semwebcentral.org
Cc: public-cwm-talk@w3.org
Message-Id: <1149178596.30577.246.camel@dirk.w3.org>

In the TAMI project, we've been working on getting proofs
from cwm converted to PML so that they can be displayed
in the inferenceweb browser. It seems to be working!

For details, see
 http://people.csail.mit.edu/lkagal/tami/

Cynthia and Li clarified how PML works and relaxed some
limitations in the InferenceWeb tools, and Lalana took
some conversion rules that TimBL started and I worked
on and produced
 http://people.csail.mit.edu/lkagal/tami/cwm-pml.n3

Great work!

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?



For reference, see:
 TAMI project
   http://dig.csail.mit.edu/TAMI/
 InferenceWeb
   http://iw.stanford.edu/
  discussion: http://projects.semwebcentral.org/pipermail/inferenceweb/

  cwm discussion: http://lists.w3.org/Archives/Public/public-cwm-talk/


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Thursday, 1 June 2006 16:16:45 GMT

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