- 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
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 UTC