Re: need n3 proofs for PML translation test

On Thu, 2007-02-08 at 09:49 -0800, Li Ding wrote:
>  Hi Dan,
> I have build a document for that translation and translated the first
> three examples,
>  http://iw.stanford.edu/2007/tami/cwm-pml1/cmw-pml.html 

The "2.1 CWM Reason Ontology" section is very nice! I have
been trying to find time for me or TimBL to do something
like that for... wow, a long time now.

I hope to look at the rest soon.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Thursday, 8 February 2007 17:55:24 UTC