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 #Processed by Id: cwm.py,v 1.190 2006/08/09 23:20:42 syosi Exp # using base file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/ # Notation3 generation by # notation3.py,v 1.191 2006/08/01 01:14:04 syosi Exp # Base was: file:/home/connolly/w3ccvs/WWW/2004/01/rdxh/ @prefix : <http://www.w3.org/2001/02pd/gv#> . @prefix d: <http://www.w3.org/2003/g/data-view#> . @prefix fig: <figMultiTxform#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix s: <http://www.w3.org/2000/01/rdf-schema#> . @forSome <#_g0>, <#_g1>, <#_g2>, <#_g3>, <#_g4>, <#_g5>, <#_g6>, <#_g7>, <#_g8>, <#_g9> . ( <http://www.w3.org/2002/12/cal/glean-hcal> <http://research.talis.com/2006/grddl-wg/robin-hcal-grddl.html> ) fig:apply <#_g7> . </2000/06/dc-extract/dc-extract.xsl> :label "dc-extract.xsl" . </2000/08/w3c-synd/home2rss.xsl> :label "home2rss.xsl" . <doc.html> :label "doc.html" . <doc1.html> :fontname "Courier"; :label "<html>\\n<meta\\n name='dc...'>" . fig:Algorithm fig:classShape "parallelogram"; s:subClassOf <#_g0> . fig:BlankLabel owl:hasValue ""; owl:onProperty :label . fig:Document fig:classShape "Msquare"; s:subClassOf <#_g1> . fig:Formula fig:classLabel "RDF"; fig:classShape "invtrapezium"; s:subClassOf <#_g3>, <#_g5> . fig:FunctionApplication fig:classShape "point"; s:subClassOf fig:BlankLabel, <#_g4> . fig:Information fig:classShape "point"; s:subClassOf fig:BlankLabel, <#_g2> . fig:dest a :EdgeProperty; :fontsize "11"; :label ""; :style "dotted" . fig:implicitTransformation a :EdgeProperty; s:subPropertyOf fig:effectiveTransformation; :fontsize "11"; :label "transformation"; :style "dotted" . fig:information a :EdgeProperty; :fontsize "11"; :label "info" . fig:namespace a :EdgeProperty; s:domain fig:Document; :fontsize "11"; :label "namespace" . fig:profile a :EdgeProperty; s:domain fig:Document; :fontsize "11"; :label "profile" . fig:result a :EdgeProperty; :fontsize "11"; :label "", "result"; :style "dotted" . fig:semantics s:domain fig:Document; s:range fig:Data . fig:theGraph :fontsize "10"; :hasNode <http://research.talis.com/2006/grddl-wg/robin-hcal-grddl.html>, <http://www.w3.org/2002/12/cal/glean-hcal>, <#_g7>; :nodesep "0.1"; :rankdir "LR"; :ranksep "0.4"; :subgraph <#_g8> . <home.html> :label "home.html" . <policy.p3q> :label "policy.p3q" . <txformDiagram.n3> :digraph fig:theGraph . <http://gmpg.org/xfn/11> :label "XFN profile" . <http://research.talis.com/2006/grddl-wg/robin-hcal-grddl.html> a fig:Document, <#_g1>; fig:dest <#_g7>; fig:effectiveTransformation <http://www.w3.org/2002/12/cal/glean-hcal>; fig:information <#_g6>; :fontsize "12"; :label "<robin-hcal-grddl.html>"; :shape "Msquare"; d:transformation <http://www.w3.org/2002/12/cal/glean-hcal> . <http://www.w3.org/2002/12/cal/glean-hcal> a fig:Algorithm, <#_g0>; fig:dest <#_g7>; :fontsize "12"; :label "<glean-hcal>"; :shape "parallelogram" . <http://www.w3.org/2003/12/rdf-in-xhtml-xslts/grokCC.xsl> :label "grokCC.xsl" . <http://www.w3.org/2003/12/rdf-in-xhtml-xslts/grokFOAF.xsl> :label "grokFoaf.xsl" . <http://www.w3.org/2003/12/rdf-in-xhtml-xslts/grokGeoURL.xsl> :label "grokGeoURL.xsl" . <http://www.w3.org/2003/12/rdf-in-xhtml-xslts/grokRDDL.xsl> :label "grokRDDL.xsl" . <http://www.w3.org/2003/12/rdf-in-xhtml-xslts/grokXFN.xsl> :label "grokXFN.xsl" . d:namespaceTransformation a :EdgeProperty; s:range fig:Algorithm; :fontsize "11"; :label "namespaceTransformation"; :style "bold" . d:profileTransformation a :EdgeProperty; s:range fig:Algorithm; :fontsize "11"; :label "profileTransformation"; :style "bold" . d:transformation a :EdgeProperty; s:domain fig:Document; s:range fig:Algorithm; s:subPropertyOf fig:effectiveTransformation; :fontsize "11"; :label "transformation"; :style "bold" . <http://www.w3.org/2003/g/embeddedRDF.xsl> :label "embeddedRDF.xsl" . <http://www.w3.org/2003/g/grokPO.xsl> :label "grokPO.xsl" . <http://www.w3.org/2003/g/po-doc.xml> :label "po-doc.xml" . <http://www.w3.org/2003/g/po-ex> :label "po-ex" . <http://www.w3.org/2003/g/td/friends> :label "friends.html" . <http://www.w3.org/2003/g/td/xfn-workalike> :label "xfn profile" . <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> :label "grokP3Q.xsl" . <http://www.w3.org/2004/01/rdxh/p3q-ns-example> :label "p3q-ns-example" . <#_g0> owl:hasValue "parallelogram"; owl:onProperty :shape . <#_g1> owl:hasValue "Msquare"; owl:onProperty :shape . <#_g2> owl:hasValue "point"; owl:onProperty :shape . <#_g3> owl:hasValue "invtrapezium"; owl:onProperty :shape . <#_g4> owl:hasValue "point"; owl:onProperty :shape . <#_g5> owl:hasValue "RDF"; owl:onProperty :label . <#_g6> a fig:BlankLabel, fig:Information, <#_g2>; fig:cluster <#_g8>; fig:part <#_g9>; :fontsize "12"; :label ""; :shape "point" . <#_g7> a fig:BlankLabel, fig:FunctionApplication, <#_g4>; fig:result <#_g9>; :fontsize "12"; :label ""; :shape "point" . <#_g8> :hasNode <#_g6>, <#_g9> . <#_g9> a fig:Formula, <#_g3>, <#_g5>; :fontsize "12"; :label "RDF"; :shape "invtrapezium" . #ENDSReceived on Tuesday, 19 September 2006 19:39:16 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:10:59 GMT