W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > September 2006

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

From: Dan Connolly <connolly@w3.org>
Date: Tue, 19 Sep 2006 14:39:07 -0500
To: public-cwm-bugs@w3.org
Message-Id: <1158694748.5616.177.camel@dirk>
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" .
    
#ENDS
Received on Tuesday, 19 September 2006 19:39:16 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:52:00 UTC