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: Dan Connolly <connolly@w3.org>
Date: Mon, 14 Dec 2009 18:03:54 -0600
To: public-cwm-talk@w3.org
Cc: Jonathan Rees <jar@creativecommons.org>
Message-ID: <1260835434.3504.1772.camel@pav.lan>
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

python /home/connolly/w3ccvs/WWW/2000/10/swap/cwm.py refi_ex.n3 /home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3 /home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3 http.n3 speech.n3 httpspeech.n3 \
		--think --filter=refi_goal.n3 --why >refi-pf.n3
/home/connolly/w3ccvs/WWW/2000/10/swap/swap/why.py:30: DeprecationWarning: the md5 module is deprecated; use hashlib instead
  import md5, binascii  # for building md5 URIs
/home/connolly/w3ccvs/WWW/2000/10/swap/swap/term.py:1595: DeprecationWarning: object.__new__() takes no parameters
  self = Fragment.__new__(cls, *args, **keywords)
/home/connolly/w3ccvs/WWW/2000/10/swap/swap/swap/term.py:1595: DeprecationWarning: object.__new__() takes no parameters
  self = Fragment.__new__(cls, *args, **keywords)
/home/connolly/w3ccvs/WWW/2000/10/swap/swap/cwm_crypto.py:15: DeprecationWarning: the sha module is deprecated; use the hashlib module instead
  import md5, sha, binascii, quopri, base64
Traceback (most recent call last):
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/cwm.py", line 750, in <module>
    doCommand()
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/cwm.py", line 575, in doCommand
    workingContext = explainFormula(workingContext, option_why)
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/swap/why.py", line 121, in explainFormula
    return tr[0].explanation(flags=flags)
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/swap/why.py", line 283, in explanation
    me=self.explain(ko, flags)
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/swap/why.py", line 319, in explain
    r1 = r.explain(ko, flags=flags)
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/swap/why.py", line 518, in explain
    ev.extend(explainStatements(realStatements, ko))
  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 518, in explain
    ev.extend(explainStatements(realStatements, ko))
  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 518, in explain
    ev.extend(explainStatements(realStatements, ko))
  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 518, in explain
    ev.extend(explainStatements(realStatements, ko))
  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 518, in explain
    ev.extend(explainStatements(realStatements, ko))
  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"}
make: *** [refi-pf.n3] Error 1
make: Target `refi-pf.txt' not remade because of errors.
Received on Tuesday, 15 December 2009 00:04:05 UTC

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