cwm --rdf=br screws up bnodes... again?

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