- From: Dan Connolly <connolly@w3.org>
- Date: Mon, 12 Sep 2005 15:49:27 -0500
- To: jos.deroo@agfa.com
- Cc: www-archive@w3.org
On Sun, 2005-09-11 at 02:26 +0200, jos.deroo@agfa.com wrote:
> I now think that
>
> CONSTRUCT {C}
> WHERE {{W1} UNION {W2} ... UNION {Wn}}
>
> should return
[...]
I'm not sure I understand the details, but your mention of
"constructive semantics" suggests it overlaps significantly
with my own research reading lately on provability logic such;
I started to swap that Artemov stuff back in, but I'm struggling...
The work on cwm and PML has started up again lately; did you see
these meeting notes?
CWM/PML/Inference Web Integration
http://www.policyawareweb.org/2005/ftf2/paw-mtg#item10
especially...
to-pml.n3, the converter from cwm proof to PML
http://www.w3.org/2000/10/swap/test/reason/to-pml.n3
and later...
cwm/PML integration
http://www.policyawareweb.org/2005/pf-dev/08-31-paw-minutes#item09
Any chance you could spare some time to
look at having euler and cwm share a proof syntax?
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Monday, 12 September 2005 20:50:03 UTC