W3C home > Mailing lists > Public > public-cwm-talk@w3.org > October to December 2009

Re: working on "A Model of Authority in the Web"

From: Tim Berners-Lee <timbl@w3.org>
Date: Tue, 15 Dec 2009 08:53:04 -0500
Cc: public-cwm-talk@w3.org, Jonathan Rees <jar@creativecommons.org>
Message-Id: <78370203-C818-483E-A629-CC5793B943D8@w3.org>
To: Dan Connolly <connolly@w3.org>
You don't use cwm every day?
I was using cwm today. :)

Ooops... trying to mention (in another graph)  a graph which is  
mutable -- still being built.
Probably just a close() call missing from building the graph.  My bad.
	try x = x.close() aroud line 137:

    if isinstance(x, Formula):
         b = ko.newBlankNode(why=dontAsk)
	x = x.close()  # Just in case
         ko.add(subj=x, pred=ko.store.sameAs, obj=b,


Tim

   File "/home/connolly/w3ccvs/WWW/2000/10/swap/swap/why.py", line  
621, in explainStatements
     ri = r.explain(ko, flags=flags)
   File "/home/connolly/w3ccvs/WWW/2000/10/swap/swap/why.py", line  
479, in explain
     valObject = _giveTerm(val, ko)
   File "/home/connolly/w3ccvs/WWW/2000/10/swap/swap/why.py", line  
139, in _giveTerm
     why=dontAsk)
   File "/home/connolly/w3ccvs/WWW/2000/10/swap/swap/llyn.py", line  
372, in add
     or subj.canonical is subj), "subj Should be closed or self"+`subj`
AssertionError: subj Should be closed or self{refi:Fed refi:rate "4.5"}


On 2009-12 -14, at 19:03, Dan Connolly wrote:

> On Mon, 2009-12-14 at 17:44 -0600, Dan Connolly wrote:
> [...]
>> For details on how to run the example through cwm, see
>>  http://www.w3.org/2001/tag/dj9/Makefile
>>
>> Next step: get cwm to spit out a proof and format
>> it nicely. Wish me luck.
>
> Sigh. cwm blows chunks. Details attached.
>
> -- 
> Dan Connolly, W3C http://www.w3.org/People/Connolly/
> gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
> <,make-output.txt>
Received on Tuesday, 15 December 2009 13:50:20 UTC

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