- From: Yosi Scharf <syosi@MIT.EDU>
- Date: Sun, 24 Dec 2006 11:33:53 -0500
- To: Dan Connolly <connolly@w3.org>
- Cc: public-cwm-bugs@w3.org, Daniel Krech <eikeon@eikeon.com>
Creating a proof of the generation of a proof is not that useful. If
you really want it, we can spend the time to make that work.
Yosi
On Oct 9, 2006, at 3:24 PM, Dan Connolly wrote:
>
> from some PAW work...
>
> _logger.debug("Done serializing.\n")
>
> # Check will not work with diag == 1 nor will check._s2f
> # Huh? why not? is this by design? if not, pls
> # report a bug to public-cwm-bugs@w3.org
>
> # This is the stack
> # Traceback (most recent call last):
> # File "engine.py", line 261, in ?
> # main()
> # File "engine.py", line 188, in main
> # result1 = test_rein(ReinEngine(), "http://10.0.0.220:9999/
> images/group.jpg", "http://10.0.0.220:9999/troop42-policy1.n3",
> "alice-passwd", "mid:36dcd6db1305ec376fdd6b4046730f26768a0e51")
> # File "engine.py", line 182, in test_rein
> # return check_proof(proof_string, request_id)
> # File "paw_check.py", line 50, in check_proof
> # proof = check._s2f(proof_string.encode('utf-8'),
> base=request_id)
> # File "/Users/eikeon/paw/www/2005/demo/swap/check.py", line 757,
> in _s2f
> # p = notation3.SinkParser(graph.store, openFormula=graph,
> baseURI=base)
> # File "/Users/eikeon/paw/www/2005/demo/swap/notation3.py", line
> 131, in __init__
> # if diag.tracking: self._reason2 = BecauseOfData(
> # File "/Users/eikeon/paw/www/2005/demo/swap/llyn.py", line 1380,
> in newSymbol
> # return self.intern(RDFSink.newSymbol(self, uri))
> # File "/Users/eikeon/paw/www/2005/demo/swap/llyn.py", line 1571,
> in intern
> # assert ':' in urirefString, "must be absolute: %s" %
> urirefString
> # AssertionError: must be absolute:
> --
> Dan Connolly, W3C http://www.w3.org/People/Connolly/
>
>
Received on Sunday, 24 December 2006 16:41:08 UTC