syn-dev.sh

jena2.5.4推理机系统的一种最基本实现 HP实验室出品

#!/bin/bash

## ==== Good
N=0

N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
# Dot after triple
SELECT * WHERE
{ ?s ?p ?o . }
EOF

N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
# No dot after triple
SELECT * WHERE
{ ?s ?p ?o }
EOF


N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
SELECT * WHERE
{ ?s ?p ?o . ?s ?p ?o . }
EOF

N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
# No dot
SELECT * WHERE
{ ?s ?p ?o . ?s ?p ?o }
EOF

N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
# DOT after non-triples
SELECT * WHERE
{ FILTER (?o>5) . }
EOF

N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
# DOT after non-triples
SELECT * WHERE
{ FILTER (?o>5) . ?s ?p ?o }
EOF

N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
# Trailing ;
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s :p :o ; FILTER(?x) }
EOF


N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
# Early ;
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s :p :o ; . }
EOF

N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  _:a ?p ?v .  _:a ?q 1 
}
EOF

N=$((N+1)) ; testGood $(fname "syn-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  { _:a ?p ?v .  _:a ?q _:a } UNION { _:b ?q _:c }
}
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Filter do not break up a BGP.
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  _:a ?p ?v .  FILTER(true) . [] ?q _:a
}
EOF



## ==== Bad
N=0
N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# More a test that bad syntax tests work!
PREFIX ex:   <http://example/ns#>
SELECT *
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Missing DOT, 2 triples
PREFIX :   <http://example/ns#>
SELECT *
{ :s1 :p1 :o1 :s2 :p2 :o2 . }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Missing DOT between triples
PREFIX :   <http://example/ns#>
SELECT *
{ :s1 :p1 :o1 :s2 :p2 :o2 . }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Missing DOT after ; between triples
PREFIX :   <http://example/ns#>
SELECT *
{ :s1 :p1 :o1 ; :s2 :p2 :o2 . }
EOF


N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# DOT, no triples
SELECT * WHERE
{ . }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# DOT, no triples
SELECT * WHERE
{ . . }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# DOT, then triples
SELECT * WHERE
{ . ?s ?p ?o }
EOF



N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Multiple DOTs
SELECT * WHERE
{ ?s ?p ?o . . }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Multiple DOTs
SELECT * WHERE
{ ?s ?p ?o .. }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Multiple DOTs
SELECT * WHERE
{ ?s ?p ?o . . ?s1 ?p1 ?o1 }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Multiple DOTs
SELECT * WHERE
{ ?s ?p ?o .. ?s1 ?p1 ?o1 }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Multiple DOTs
SELECT * WHERE
{ ?s ?p ?o . ?s1 ?p1 ?o1 .. }
EOF

## ---- CONSTRUCT

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# DOT, no triples
SELECT * WHERE
{ . FILTER(?x) }
EOF
N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# CONSTRUCT and DOTs
CONSTRUCT { ?s ?p ?o . . }
WHERE { }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# CONSTRUCT and DOTs
CONSTRUCT { ?s ?p ?o . . ?s ?p ?o }
WHERE { }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# CONSTRUCT and DOTs
CONSTRUCT { ?s ?p ?o ?s ?p ?o }
WHERE { }
EOF

## ----

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken ;
SELECT * WHERE
{ ; FILTER(?x) }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken ;
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s ; :p :o }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken ;
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s :p ; }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken ;
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s :p ; FILTER(?x) }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken ;
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s :p :o . ;  }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken ,
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s , :p :o  }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken ,
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s  :p , :o  }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken ,
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s  :p , }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken , can't trail
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s  :p :o , }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Broken , (should be ;)
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ :s :p1 :o1 , :p2 :o2}
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
CONSTRUCT 
EOF



N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Tokenizing matters.
# "longest token rule" means this isn't a "<" and "&&"
PREFIX :   <http://example/ns#>
SELECT * WHERE
{ FILTER (?x<?a&&?b>?y) }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/ns#>
SELECT * WHERE { :x [] :q }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/ns#>
SELECT * WHERE { :x _:a :q }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Syntactic blank node in a filter.
SELECT * WHERE { <a><b>_:x FILTER(_:x) }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
# Syntactic blank node in a filter.
SELECT * WHERE { <a><b>_:x FILTER(_:x < 3) }
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  GRAPH [] { } 
}
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  _:a ?p ?v . { _:a ?q 1 }
}
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  { _:a ?p ?v . } _:a ?q 1
}
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  { _:a ?p ?v . } UNION { _:a ?q 1 }
}
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  { _:a ?p ?v . } _:a ?q 1
}
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  _:a ?p ?v . OPTIONAL {_:a ?q 1 }
}
EOF

N=$((N+1)) ; testBad $(fname "syn-bad-" $N) <<EOF
PREFIX : <http://example.org/>
SELECT *
WHERE
{
  _:a ?p ?v . OPTIONAL { ?s ?p ?v } _:a ?q 1
}
EOF


## ==== Other bad : from NegativeSyntax/
N=0
testBad "bnode-dot.rq" <<EOF
# NegativeSyntax/bnode-dot.rq
SELECT * WHERE {[] . }
EOF

##--
N=0
N=$((N+1)) ; testBad $(fname "bnodes-missing-pvalues-" $N) <<EOF
# NegativeSyntax/bnodes-missing-pvalues.rq
PREFIX :   <http://example/ns#>
SELECT * WHERE { [,] :p [;] . }
EOF

N=$((N+1)) ; testBad $(fname "bnodes-missing-pvalues-" $N) <<EOF
# NegativeSyntax/bnodes-missing-pvalues-02.rq
SELECT * WHERE {() . [,] . [,;] }
EOF

##--
N=0
N=$((N+1)) ; testBad $(fname "empty-optional-" $N) <<EOF
# NegativeSyntax/empty-optional.rq
SELECT * { OPTIONAL FILTER (?x) }
EOF

N=$((N+1)) ; testBad $(fname "empty-optional-" $N) <<EOF
# NegativeSyntax/empty-optional-02.rq
SELECT * { OPTIONAL GRAPH ?v OPTIONAL FILTER (?x) }
EOF

testBad "filter-missing-parens.rq" <<EOF
# NegativeSyntax/filter-missing-parens.rq
SELECT * { ?s ?p ?o FILTER ?x }
EOF

testBad "lone-list.rq" <<EOF
# NegativeSyntax/lone-list.rq
SELECT * WHERE { () }
EOF

testBad "lone-node.rq" <<EOF
# NegativeSyntax/lone-node.rq
SELECT * WHERE {<a>}
EOF