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

toward cwm/N3/reason proof of httpRange-14 argument

From: Dan Connolly <connolly@w3.org>
Date: Mon, 11 Sep 2006 09:46:52 -0500
Message-Id: <6d68e03142c69ab05487a2b25c55cd0a@w3.org>
Cc: public-cwm-talk@w3.org
To: Tim Berners-Lee <timbl@w3.org>, Yosi Scharf <syosi@MIT.EDU>
At the IRW workshop, I presented an analysis of the httpRange-14 
discussion using N3.
  http://www.w3.org/2006/04/irw65/urisym

I'm trying to get the corresponding proof in the pfreport format I 
recently developed,
so I can show it to colleagues at U.T. Austin
	http://www.w3.org/2006/09dc-aus/aus-aa

The proof doesn't check. Here's how I invoked cwm/check:

pbjam:~/w3ccvs/WWW/2006/04/irw65 connolly$ python $swap/cwm.py 
argument.n3 --think --why >,argpf.n3
pbjam:~/w3ccvs/WWW/2006/04/irw65 connolly$ PYTHONPATH=$swap/.. 
python2.4 /Users/connolly/w3ccvs/WWW/2000/10/swap/check.py ,argpf.n3 
 >,argpf.txt 2>,argpfdiag

I think it doesn't work with the HEAD version of cwm; I reduced that 
problem to a
test case and reported a bug.
(	Date: 	September 11, 2006 12:15:59 AM CDT
	To: 	  public-cwm-bugs@w3.org
)

Now I'm working from the paw-tagged version of cwm.

Results are attached.

Hmm... now that I changed check.py to print the report before
checking the proof (v 1.55.2.3 2006/09/11 14:38:48)
I seem to be able to get a proof report;
I just need to implement support for log:supports in report() in 
check.py.
And I should maybe print the bindings on GMP...

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/



Received on Monday, 11 September 2006 14:47:43 UTC

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