- 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