Re: [Fwd: ACTION: EricP to run the yacker tool] from Eric Prud'hommeaux on 2007-07-30 (public-rdf-dawg@w3.org from July to September 2007)

From: Eric Prud'hommeaux <eric@w3.org>
Date: Mon, 30 Jul 2007 18:41:51 -0400
To: public-rdf-dawg@w3.org
Message-ID: <20070730224150.GB5187@w3.org>
This output is now available in HTML:
  http://www.w3.org/2001/sw/DataAccess/tests/facets-coverage
Following is an example of how I'd like folks to exploit this
information.
________________________________________________________________________

Testing the first of the facets that was reported as "not covered", I
followed the link to the pattern it was intended to match:
  SELECT DISTINCT *

trying facet-test.pl with the corresponding XPath and a query with
that pattern:
[[
eric@mouni:~/WWW/2001/sw/DataAccess/tests$ ./facets-test.pl -t "//SelectQuery[yacker:implicit-terminal[text()='DISTINCT'] and yacker:implicit-terminal[text()='TIMES']]" -
enter query string followed by a ^d:
SELECT DISTINCT * {}
-: //SelectQuery[yacker:implicit-terminal[text()='DISTINCT'] and yacker:implicit-terminal[text()='TIMES']]:1
-: 001/001:10000000
COVERAGE: 001/001:00000000
0 facets not covered: 
]]
we see that the XPath does work so we probably have no queries of that
form. Motivated typists may continue with the list.

As for the redundancies, data-r2/construct/query-reif-1.rq and
data-r2/construct/query-reif-2.rq are identical:
   diff data-r2/construct/query-reif-1.rq data-r2/construct/query-reif-2.rq

I propose removing the redundant construct-4 from:
[[
<#construct-3>
     mf:name    "dawg-construct-reification-1" ;
     rdfs:comment "Reification of the default graph" ;
     mf:action
            [ qt:query  <query-reif-1.rq> ;
              qt:data   <data-reif.ttl> ] ;
     mf:result  <result-reif.ttl> ;
    .

<#construct-4>
     mf:name    "dawg-construct-reification-2" ;
     rdfs:comment "Reification of the default graph" ;
     mf:action
            [ qt:query  <query-reif-2.rq> ;
              qt:data   <data-reif.ttl> ] ;
     mf:result  <result-reif.ttl> ;
    .
]]

As for the shadow reports, the combination of
data-r2/algebra/two-nested-opt.rq and data-r2/construct/query-ident.rq
don't adequately cover the unbound CONSTRUCT triples so we need some
way to further differentiate ConstructTriples-unbound , either hand
annotations or some clever code.

Looking at the next one, are queries like construct/query-subgraph.rq:
[[
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
PREFIX  foaf:       <http://xmlns.com/foaf/0.1/>

CONSTRUCT { ?s foaf:name ?o . }
WHERE {
  ?s foaf:name ?o .
}
]]
useful if we already have construct/query-ident.rq:
[[
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
PREFIX  foaf:       <http://xmlns.com/foaf/0.1/>

CONSTRUCT { ?s ?p ?o . }
WHERE {
  ?s ?p ?o .
}
]]

* Eric Prud'hommeaux <eric@w3.org> [2007-07-27 01:47-0400]
> Here's the progress so far on:
>
>> <scribe> ACTION: EricP to run the yacker tool over and annotate the 
>> existing
>> tests to summarize coverage [CONTINUES] [recorded in 
>> http://www.w3.org/2007/07/24-dawg-minutes.html#action06]
>
> http://mouni.local/2001/sw/DataAccess/tests/facets identifies a bunch

I don't suppose any of you slackers followed that link...
http://www.w3.org/2001/sw/DataAccess/tests/facets
       ^^^^^^^^^^
> of "facets" or SPARQL. Of them, 44 did not get triggered by
>   $(/2001/sw/DataAccess/tests$ ls -d data-r2/*| grep -v syntax | grep -v 
> README | grep -v CVS | xargs ./facets-test.pl facets.rs) . Here the are:
>
> 44 facets not used: BaseDecl, SelectQuery-Distinct-Var, 
> SelectQuery-Distinct-star, BasicGraphPattern-spoo, Var-rVAR2, 
> PrefixedName-prefix, String-triple-singleQuote, String-triple-doubleQuote, 
> NumericLiteral-rDECIMAL, GraphTerm-plus, GraphTerm-minus, 
> GraphTerm-BooleanLiteral-true, GraphTerm-BooleanLiteral-false, 
> BlankNode-rBLANK_NODE_LABEL, BlankNode-rANON, Collection-0, Collection-1, 
> Collection-n, Verb-a, BuiltInCall-str, BuiltInCall-lang, 
> BuiltInCall-langMatches, BuiltInCall-datatype, BuiltInCall-bound, 
> BuiltInCall-sameTerm, BuiltInCall-isIRI, BuiltInCall-isBlank, 
> BuiltInCall-isLiteral, IRIrefOrFunction-cast-dT, RelationalExpression-eq, 
> RelationalExpression-ne, RelationalExpression-ge, 
> MultiplicativeExpression-n, UnaryExpression-PLUS, UnaryExpression-MINUS, 
> PrimaryExpression-function, PrimaryExpression-rBooleanLiteral, 
> OrderCondition-rBrackettedExpression, OrderCondition-rBuiltInCall, 
> OrderCondition-rFunctionCall, LimitOffsetClauses-limit, 
> LimitOffsetClauses-limit-offset, LimitOffsetClauses-offset, 
> LimitOffsetClauses-offset-limit
>                                                    --: 
> 044:100011000000000000000100010100001100001011111111101111111111000000001000000110001000100110001001000000111001111000000000
>
> It also decided that a lot of these where redundant. "obseletes" is
> not the correct work, but these do seem to flag similar tests:
>
> data-r2/construct/query-reif-1.rq obseletes: 
> data-r2/construct/query-reif-2.rq
> data-r2/type-promotion/tP-byte-short-fail.rq obseletes: 
> data-r2/type-promotion/tP-short-short-fail.rq
> data-r2/type-promotion/tP-double-float-fail.rq obseletes: 
> data-r2/type-promotion/tP-float-decimal.rq, 
> data-r2/type-promotion/tP-float-float.rq, 
> data-r2/type-promotion/tP-short-float.rq, 
> data-r2/type-promotion/tP-short-int-fail.rq
> data-r2/type-promotion/tP-double-decimal.rq obseletes: 
> data-r2/type-promotion/tP-double-double.rq, 
> data-r2/type-promotion/tP-double-float.rq, 
> data-r2/type-promotion/tP-short-byte-fail.rq, 
> data-r2/type-promotion/tP-short-double.rq
> data-r2/type-promotion/tP-decimal-decimal.rq obseletes: 
> data-r2/type-promotion/tP-double-decimal-fail.rq, 
> data-r2/type-promotion/tP-float-decimal-fail.rq, 
> data-r2/type-promotion/tP-short-decimal.rq, 
> data-r2/type-promotion/tP-short-long-fail.rq
> data-r2/type-promotion/tP-byte-short.rq obseletes: 
> data-r2/type-promotion/tP-int-short.rq, 
> data-r2/type-promotion/tP-integer-short.rq, 
> data-r2/type-promotion/tP-long-short.rq, 
> data-r2/type-promotion/tP-negativeInteger-short.rq, 
> data-r2/type-promotion/tP-nonNegativeInteger-short.rq, 
> data-r2/type-promotion/tP-nonPositiveInteger-short.rq, 
> data-r2/type-promotion/tP-positiveInteger-short.rq, 
> data-r2/type-promotion/tP-short-short.rq, 
> data-r2/type-promotion/tP-unsignedByte-short.rq, 
> data-r2/type-promotion/tP-unsignedInt-short.rq, 
> data-r2/type-promotion/tP-unsignedLong-short.rq, 
> data-r2/type-promotion/tP-unsignedShort-short.rq
> data-r2/algebra/filter-nested-1.rq obseletes: 
> data-r2/algebra/filter-placement-1.rq, 
> data-r2/algebra/filter-placement-2.rq
> data-r2/sort/query-sort-1.rq obseletes: data-r2/sort/query-sort-9.rq
> data-r2/sort/query-sort-10.rq obseletes: data-r2/sort/query-sort-2.rq
> data-r2/optional/q-opt-1.rq obseletes: data-r2/optional/q-opt-2.rq
> data-r2/regex/regex-query-001.rq obseletes: 
> data-r2/regex/regex-query-003.rq
> data-r2/expr-equals/query-eq-5.rq obseletes: 
> data-r2/expr-equals/query-eq-graph-5.rq
> data-r2/expr-equals/query-eq-3.rq obseletes: 
> data-r2/expr-equals/query-eq-4.rq
> data-r2/expr-builtin/q-lang-1.rq obseletes: 
> data-r2/expr-builtin/q-lang-2.rq
> data-r2/expr-builtin/q-blank-1.rq obseletes: 
> data-r2/expr-builtin/q-iri-1.rq, data-r2/expr-builtin/q-uri-1.rq
> data-r2/expr-builtin/q-str-1.rq obseletes: data-r2/expr-builtin/q-str-2.rq, 
> data-r2/expr-builtin/q-str-3.rq, data-r2/expr-builtin/q-str-4.rq
> data-r2/expr-equals/query-eq2-1.rq obseletes: 
> data-r2/expr-equals/query-eq2-2.rq
> data-r2/graph/graph-01.rq obseletes: data-r2/graph/graph-02.rq, 
> data-r2/graph/graph-05.rq
> data-r2/triple-match/dawg-tp-01.rq obseletes: 
> data-r2/triple-match/dawg-tp-02.rq, data-r2/triple-match/dawg-tp-05.rq
> data-r2/expr-builtin/q-langMatches-1.rq obseletes: 
> data-r2/expr-builtin/q-langMatches-2.rq, 
> data-r2/expr-builtin/q-langMatches-3.rq
> data-r2/algebra/opt-filter-1.rq obseletes: data-r2/algebra/opt-filter-2.rq
> data-r2/algebra/filter-scope-1.rq obseletes: 
> data-r2/algebra/opt-filter-3.rq
> data-r2/graph/graph-03.rq obseletes: data-r2/graph/graph-04.rq, 
> data-r2/graph/graph-06.rq, data-r2/graph/graph-08.rq, 
> data-r2/graph/graph-09.rq, data-r2/graph/graph-10.rq
> data-r2/dataset/dataset-06.rq obseletes: data-r2/dataset/dataset-08.rq, 
> data-r2/dataset/dataset-09.rq, data-r2/dataset/dataset-10.rq
> data-r2/graph/graph-07.rq obseletes: data-r2/graph/graph-11.rq
> data-r2/open-world/open-eq-03.rq obseletes: 
> data-r2/open-world/open-eq-04.rq
> data-r2/open-world/open-eq-05.rq obseletes: 
> data-r2/open-world/open-eq-06.rq
> data-r2/open-world/date-1.rq obseletes: data-r2/open-world/date-2.rq
> data-r2/expr-builtin/lang-case-sensitivity-ne.rq obseletes: 
> data-r2/open-world/open-eq-07.rq, data-r2/open-world/open-eq-08.rq, 
> data-r2/open-world/open-eq-09.rq, data-r2/open-world/open-eq-10.rq
>
>
>
> I kept the syntax tests separate:
>
> 39 facets not used: SelectQuery-Distinct-Var, SelectQuery-Distinct-star, 
> SelectQuery-Var-n, BasicGraphPattern-spoo, Var-rVAR2, RDFLiteral-datatype, 
> GraphTerm-BooleanLiteral-false, BuiltInCall-str, BuiltInCall-lang, 
> BuiltInCall-langMatches, BuiltInCall-datatype, BuiltInCall-bound, 
> BuiltInCall-sameTerm, BuiltInCall-isIRI, BuiltInCall-isBlank, 
> BuiltInCall-isLiteral, IRIrefOrFunction-cast-str, 
> IRIrefOrFunction-cast-flt, IRIrefOrFunction-cast-dbl, 
> IRIrefOrFunction-cast-dec, IRIrefOrFunction-cast-dT, 
> IRIrefOrFunction-cast-bool, ConditionalOrExpression-n, 
> ConditionalAndExpression-n, RelationalExpression-eq, 
> RelationalExpression-ne, RelationalExpression-lt, RelationalExpression-le, 
> RelationalExpression-ge, AdditiveExpression-n, MultiplicativeExpression-n, 
> UnaryExpression-NOT, UnaryExpression-PLUS, UnaryExpression-MINUS, 
> PrimaryExpression-rBrackettedExpression, PrimaryExpression-rBuiltInCall, 
> PrimaryExpression-IRIref, OrderCondition-rBrackettedExpression, 
> LimitOffsetClauses-offset-limit
>                                                             --: 
> 039:000011001000000000000100010000000000100000010000000111111111000111101101010111011010101111110000000000100000001000000000
> data-r2/syntax-sparql2/syntax-form-construct01.rq obseletes: 
> data-r2/syntax-sparql2/syntax-form-construct02.rq
> data-r2/syntax-sparql2/syntax-form-construct03.rq obseletes: 
> data-r2/syntax-sparql2/syntax-form-construct04.rq
> data-r2/syntax-sparql1/syntax-lists-03.rq obseletes: 
> data-r2/syntax-sparql1/syntax-lists-04.rq
> data-r2/syntax-sparql1/syntax-basic-01.rq obseletes: 
> data-r2/syntax-sparql2/syntax-form-select-01.rq
> data-r2/syntax-sparql1/syntax-basic-02.rq obseletes: 
> data-r2/syntax-sparql2/syntax-form-select-02.rq
> data-r2/syntax-sparql2/syntax-general-01.rq obseletes: 
> data-r2/syntax-sparql2/syntax-general-12.rq
> data-r2/syntax-sparql2/syntax-general-04.rq obseletes: 
> data-r2/syntax-sparql2/syntax-general-07.rq, 
> data-r2/syntax-sparql2/syntax-general-10.rq
> data-r2/syntax-sparql2/syntax-general-05.rq obseletes: 
> data-r2/syntax-sparql2/syntax-general-08.rq, 
> data-r2/syntax-sparql2/syntax-general-11.rq
> data-r2/syntax-sparql2/syntax-esc-01.rq obseletes: 
> data-r2/syntax-sparql2/syntax-esc-02.rq, 
> data-r2/syntax-sparql2/syntax-esc-03.rq
> data-r2/syntax-sparql1/syntax-basic-04.rq obseletes: 
> data-r2/syntax-sparql3/syn-01.rq
> data-r2/syntax-sparql1/syntax-basic-06.rq obseletes: 
> data-r2/syntax-sparql3/syn-03.rq
> data-r2/syntax-sparql1/syntax-basic-05.rq obseletes: 
> data-r2/syntax-sparql3/syn-04.rq
> data-r2/syntax-sparql2/syntax-general-13.rq obseletes: 
> data-r2/syntax-sparql2/syntax-general-14.rq
> data-r2/syntax-sparql1/syntax-bnodes-01.rq obseletes: 
> data-r2/syntax-sparql1/syntax-bnodes-04.rq, 
> data-r2/syntax-sparql2/syntax-bnode-03.rq
> data-r2/syntax-sparql1/syntax-bnodes-02.rq obseletes: 
> data-r2/syntax-sparql2/syntax-bnode-01.rq, 
> data-r2/syntax-sparql2/syntax-bnode-02.rq
> data-r2/syntax-sparql2/syntax-lists-01.rq obseletes: 
> data-r2/syntax-sparql2/syntax-lists-02.rq, 
> data-r2/syntax-sparql2/syntax-lists-03.rq
> data-r2/syntax-sparql2/syntax-keywords-02.rq obseletes: 
> data-r2/syntax-sparql3/syn-07.rq
> data-r2/syntax-sparql1/syntax-limit-offset-02.rq obseletes: 
> data-r2/syntax-sparql1/syntax-limit-offset-03.rq
> data-r2/syntax-sparql1/syntax-qname-05.rq obseletes: 
> data-r2/syntax-sparql1/syntax-qname-06.rq
> data-r2/syntax-sparql1/syntax-qname-02.rq obseletes: 
> data-r2/syntax-sparql1/syntax-qname-03.rq, data-r2/syntax-sparql3/syn-08.rq
> data-r2/syntax-sparql4/syn-bad-34.rq obseletes: 
> data-r2/syntax-sparql4/syn-bad-35.rq, data-r2/syntax-sparql4/syn-bad-37.rq
> data-r2/syntax-sparql1/syntax-union-01.rq obseletes: 
> data-r2/syntax-sparql1/syntax-union-02.rq
> data-r2/syntax-sparql1/syntax-struct-02.rq obseletes: 
> data-r2/syntax-sparql1/syntax-struct-03.rq, 
> data-r2/syntax-sparql1/syntax-struct-07.rq, 
> data-r2/syntax-sparql1/syntax-struct-08.rq, 
> data-r2/syntax-sparql1/syntax-struct-11.rq, 
> data-r2/syntax-sparql1/syntax-struct-14.rq
> data-r2/syntax-sparql1/syntax-pat-02.rq obseletes: 
> data-r2/syntax-sparql1/syntax-struct-09.rq, 
> data-r2/syntax-sparql1/syntax-struct-10.rq
> data-r2/syntax-sparql4/syn-bad-38.rq obseletes: 
> data-r2/syntax-sparql4/syn-bad-OPT-breaks-BGP.rq
> data-r2/syntax-sparql1/syntax-struct-05.rq obseletes: 
> data-r2/syntax-sparql1/syntax-struct-06.rq, 
> data-r2/syntax-sparql1/syntax-struct-12.rq, 
> data-r2/syntax-sparql1/syntax-struct-13.rq
> data-r2/syntax-sparql1/syntax-pat-03.rq obseletes: 
> data-r2/syntax-sparql1/syntax-pat-04.rq
> data-r2/syntax-sparql2/syntax-graph-03.rq obseletes: 
> data-r2/syntax-sparql2/syntax-graph-04.rq
> data-r2/syntax-sparql1/syntax-lit-10.rq obseletes: 
> data-r2/syntax-sparql1/syntax-lit-12.rq, 
> data-r2/syntax-sparql1/syntax-lit-14.rq, 
> data-r2/syntax-sparql1/syntax-lit-15.rq, 
> data-r2/syntax-sparql1/syntax-lit-16.rq, 
> data-r2/syntax-sparql1/syntax-lit-17.rq
> data-r2/syntax-sparql1/syntax-lit-09.rq obseletes: 
> data-r2/syntax-sparql1/syntax-lit-11.rq, 
> data-r2/syntax-sparql1/syntax-lit-13.rq, 
> data-r2/syntax-sparql1/syntax-lit-18.rq, 
> data-r2/syntax-sparql1/syntax-lit-19.rq, 
> data-r2/syntax-sparql1/syntax-lit-20.rq
> data-r2/syntax-sparql1/syntax-lit-02.rq obseletes: 
> data-r2/syntax-sparql1/syntax-lit-04.rq, 
> data-r2/syntax-sparql1/syntax-lit-06.rq
> data-r2/syntax-sparql1/syntax-lit-01.rq obseletes: 
> data-r2/syntax-sparql1/syntax-lit-03.rq, 
> data-r2/syntax-sparql1/syntax-lit-05.rq
> data-r2/syntax-sparql2/syntax-function-01.rq obseletes: 
> data-r2/syntax-sparql2/syntax-function-02.rq, 
> data-r2/syntax-sparql2/syntax-function-03.rq
>
> -- 
> -eric
>
> office: +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
> mobile: +1.617.599.3509
>
> (eric@w3.org)
> Feel free to forward this message to any list for any purpose other than
> email address distribution.
>



-- 
-eric

office: +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
mobile: +1.617.599.3509

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.
Received on Monday, 30 July 2007 22:42:39 UTC