another crash with proofs with formula terms

just dumping the output... sorry to be lazy...

-*- mode: compilation; default-directory: "~/w3ccvs/WWW/2001/tag/dj9/"
-*-
Compilation started at Fri Dec 18 00:07:40

make -k ,badmeta-closure.n3
python /home/connolly/w3ccvs/WWW/2000/10/swap/cwm.py badmeta.n3
speech.n3 httpspeech.n3 time.n3
owl2.n3 /home/connolly/w3ccvs/WWW/2000/10/swap/util/owlth.n3 /home/connolly/w3ccvs/WWW/2000/10/swap/util/rdfs-nice.n3 \
  --think  --n3=/ >,badmeta-closure.n3
/home/connolly/w3ccvs/WWW/2000/10/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/term.py:1595: DeprecationWarning:
object.__new__() takes no parameters
  self = Fragment.__new__(cls, *args, **keywords)
/home/connolly/w3ccvs/WWW/2000/10/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 617, in
doCommand
    think(workingContext, mode=option_flags["think"])
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 89, in
think
    return InferenceTask(knowledgeBase, ruleFormula, mode=mode, why=why,
repeat=1).run()
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 184, in
run
    return self.runBrilliant()
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 208, in
runBrilliant
    total = scheduler.run(int.__add__)
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 1966, in
run
    retVal = func(retVal, self.next())
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 1958, in
next
    return retVal.thunk()
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 484, in
fireRuleWithTriple
    return rule.addTriple(key, triple)
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 516, in
addTriple
    subtotal = query.resolve((env1, [triple]))
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 802, in
resolve
    k = self.matchFormula(self.statements, self.variables,
self._existentialVariables, env, evidence=evidence)
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 970, in
matchFormula
    nbs = item.tryDeepSearch(queue, bindings)
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 1780, in
tryDeepSearch
    for nb1, env3 in x.unify(s.quad[p], nb, env2, self.neededToRun[p]):
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/term.py", line 1219, in
unify
    for x in self.unifySecondary(other, env1, env2, vars, universals,
existentials, n1Source=n1Source, n2Source=n2Source):
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/llyn.py", line 835, in
unifySecondary
    for (env11, env12) in retVal:
  File "/home/connolly/w3ccvs/WWW/2000/10/swap/query.py", line 605, in
n3Equivalent
    assert g.canonical is g, "%s, %s" % (g.debugString(),
g.canonical.debugString())
AssertionError: {2}159963660 is {
                   manifesto            foaf:maker
Bob .
                    article2             dc:source
manifesto .}.
, {2}156988524 is {
                   manifesto            foaf:maker
Bob .
                    article2             dc:source
manifesto .}.

make: *** [,badmeta-closure.n3] Error 1

Compilation exited abnormally with code 2 at Fri Dec 18 00:07:41


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

Received on Friday, 18 December 2009 06:14:31 UTC