- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 19 Sep 2006 14:39:07 -0500
- To: public-cwm-bugs@w3.org
Received on Tuesday, 19 September 2006 19:39:16 UTC
I seem to remember a similar bug being fixed; is it back?
To reproduce, start with the attached .n3 file; then:
$ python2.4 $swap/cwm.py ,serbug.n3 --rdf=br >,serbug.rdf
Replacing bnodes by URIs should result in a stronger
formula, i.e. one that log:includes the original, right?
But then try the following, a la:
$ python2.4 $swap/cwm.py ,serbugt.n3 --think --data
#...
:test a :Fail .
where ,serbugt.n3 is...
--8<--
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
{ <,serbug.rdf>.log:semantics log:includes <,serbug.n3>.log:semantics }
=> { <#test> a <#Pass> }.
{ <,serbug.rdf>.log:semantics log:notIncludes
<,serbug.n3>.log:semantics }
=> { <#test> a <#Fail> }.
--8<--
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Tuesday, 19 September 2006 19:39:16 UTC