| Paste number 29394: | make grddl-rule-test-pf.txt failure |
| Pasted by: | sbp |
| 2 years, 1 month ago | |
| #swhack | |
| Paste contents: |
| $ make grddl-rule-test-pf.txt python ../../../2000/10/swap/cwm.py grddl-rule-tests.n3 grddl-rules3.n3 \ --think --filter=grddl-rule-goal.n3 --why >grddl-rule-test-pf.n3 PYTHONPATH=../../../2000/10/swap/.. python ../../../2000/10/swap/check.py --report grddl-rule-test-pf.n3 >grddl-rule-test-pf.txt Proof failed: Can't find ({9}, log:implies, {17345200 grddl:transformation 17345328}) in evidence for Antecedent of rule: @prefix : <http://www.w3.org/2000/10/swap/log#> . @prefix dm: <http://www.w3.org/2000/10/swap/infoset/infoset-daml#> . @prefix fn: <http://www.w3.org/2006/xpath-functions#> . @prefix grddl: <http://www.w3.org/2003/g/data-view#> . @prefix list: <http://www.w3.org/2000/10/swap/list#> . @prefix run: <file:/.../WWW/2004/01/rdxh/grddl-rule-test-pf.n3#> . @forSome <file:/.../WWW/2004/01/rdxh/.run-1162846177.8684511p15017#_g62>, <file:/.../WWW/2004/01/rdxh/.run-1162846177.8684511p15017#_g63> . ( <http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> ) :_statement {<http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } . <file:/.../WWW/2004/01/rdxh/.run-1162846177.8684511p15017#_g63> list:in ( run:_g13 ); fn:namespace-uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example" . <file:/.../WWW/2004/01/rdxh/policy.p3q> :uri [ fn:doc [ dm:children ( run:_g13 ) ] ] . <http://www.w3.org/2004/01/rdxh/p3q-ns-example> :uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example"; grddl:result [ :includes {<http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } ] . Evidence: @prefix : <file:/.../WWW/2004/01/rdxh/grddl-rule-test-pf.n3#> . @prefix dm: <http://www.w3.org/2000/10/swap/infoset/infoset-daml#> . @prefix fn: <http://www.w3.org/2006/xpath-functions#> . @prefix grddl: <http://www.w3.org/2003/g/data-view#> . @prefix list: <http://www.w3.org/2000/10/swap/list#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @forSome :_g13, :_g14 . "file:/.../WWW/2004/01/rdxh/policy.p3q" fn:doc :_g14 . ( <http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> ) log:_statement {<http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } . :_g13 list:in ( :_g13 ); fn:namespace-uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example" . :_g14 dm:children ( :_g13 ) . <file:/.../WWW/2004/01/rdxh/policy.p3q> log:uri "file:/.../WWW/2004/01/rdxh/policy.p3q" . <http://www.w3.org/2004/01/rdxh/p3q-ns-example> log:uri "http://www.w3.org/2004/01/rdxh/p3q-ns-example"; grddl:result {<http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } . { <http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } log:includes {<http://www.w3.org/2004/01/rdxh/p3q-ns-example> grddl:namespaceTransformation <http://www.w3.org/2004/01/rdxh/grokP3Q.xsl> . } . Bindings:{g4:_g_L43C13: "file....p3q", 17345232: "http...mple", g4:_g_L43C22: _g62, 17345168: li2, g4:_g_L47C17: {p3q-ns-example grddl:namespaceTransformation grokP3Q.xsl}, 17345136: _g63, 17345200: policy.p3q, 17345264: p3q-ns-example, 17345296: {p3q-ns-example grddl:namespaceTransformation grokP3Q.xsl}, 17345328: grokP3Q.xsl} Proof invalid: make: *** [grddl-rule-test-pf.txt] Error 255 |
This paste has no annotations.