Add syntax tests for triple terms and reifiers not in triple patterns

rubensworks · rubensworks · commit 87093913ec15 · 2024-10-25T08:58:11.000+02:00
diff --git a/sparql/sparql12/syntax-triple-terms-negative/manifest.ttl b/sparql/sparql12/syntax-triple-terms-negative/manifest.ttl
@@ -65,6 +65,12 @@
 :subject-tripleterm
 :syntax-update-anonreifier-01
 :syntax-update-anonreifier-02
+:tripleterm-separate-01
+:tripleterm-separate-02
+:tripleterm-separate-03
+:tripleterm-separate-04
+:tripleterm-separate-05
+:tripleterm-separate-06
 
 ) .
 
@@ -323,7 +329,7 @@
    mf:name    "quoted-variable-path-tripleterm.rq" ;
    mf:action  <quoted-variable-path-tripleterm.rq> .
 
-:subject-tripleterm rdf:type   mf:NegativeUpdateSyntaxTest11 ;
+:subject-tripleterm rdf:type   mf:NegativeSyntaxTest11 ;
   dawgt:approval dawgt:Proposed ;
   mf:name    "subject-tripleterm.rq" ;
   mf:action  <subject-tripleterm.rq> .
@@ -337,3 +343,34 @@
    dawgt:approval dawgt:Proposed ;
    mf:name    "syntax-update-anonreifier-02.rq" ;
    mf:action  <syntax-update-anonreifier-02.rq> .
+
+:tripleterm-separate-01 rdf:type   mf:NegativeSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "tripleterm-separate-01.rq" ;
+   mf:action  <tripleterm-separate-01.rq> .
+
+:tripleterm-separate-02 rdf:type   mf:NegativeSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "tripleterm-separate-02.rq" ;
+   mf:action  <tripleterm-separate-02.rq> .
+
+:tripleterm-separate-03 rdf:type   mf:NegativeSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "tripleterm-separate-03.rq" ;
+   mf:action  <tripleterm-separate-03.rq> .
+
+:tripleterm-separate-04 rdf:type   mf:NegativeSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "tripleterm-separate-04.rq" ;
+   mf:action  <tripleterm-separate-04.rq> .
+
+:tripleterm-separate-05 rdf:type   mf:NegativeSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "tripleterm-separate-05.rq" ;
+   mf:action  <tripleterm-separate-05.rq> .
+
+:tripleterm-separate-06 rdf:type   mf:NegativeSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "tripleterm-separate-06.rq" ;
+   mf:action  <tripleterm-separate-06.rq> .
+
diff --git a/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-01.rq b/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-01.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   <<( ?s ?p ?o )>> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-02.rq b/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-02.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   <<( :s :p :o )>> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-03.rq b/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-03.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   <<( :s :p <<( ?s :p2 :o2 )>> )>> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-04.rq b/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-04.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   <<( ?s ?p ?o )>> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-05.rq b/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-05.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   <<( :s :p :o )>> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-06.rq b/sparql/sparql12/syntax-triple-terms-negative/tripleterm-separate-06.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   <<( :s :p <<( ?s :p2 :o2 )>> )>> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-08.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-08.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   << ?s ?p ?o >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-09.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-09.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   << :s :p :o >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-10.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-10.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   << :s :p << ?s :p2 :o2 >> >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-11.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-11.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   << ?s ?p ?o >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-12.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-12.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   << :s :p :o >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-13.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-anonreifier-13.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   << :s :p << ?s :p2 :o2 >> >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-08.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-08.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   << ?s ?p ?o ~ :iri >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-09.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-09.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   << :s :p :o ~ :iri >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-10.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-10.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+SELECT * WHERE {
+   << :s :p << ?s :p2 :o2 ~ :iri2 >> ~ :iri1 >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-11.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-11.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   << ?s ?p ?o ~ :iri >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-12.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-12.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   << :s :p :o ~ :iri >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-13.rq b/sparql/sparql12/syntax-triple-terms-positive/basic-reifier-13.rq
@@ -0,0 +1,5 @@
+PREFIX : <http://example.com/ns#>
+
+CONSTRUCT WHERE {
+   << :s :p << ?s :p2 :o2 ~ :iri2 >> ~ :iri1 >> .
+}
diff --git a/sparql/sparql12/syntax-triple-terms-positive/manifest.ttl b/sparql/sparql12/syntax-triple-terms-positive/manifest.ttl
@@ -35,12 +35,24 @@
 :basic-anonreifier-04
 :basic-anonreifier-06
 :basic-anonreifier-07
+:basic-anonreifier-08
+:basic-anonreifier-09
+:basic-anonreifier-10
+:basic-anonreifier-11
+:basic-anonreifier-12
+:basic-anonreifier-13
 :basic-reifier-01
 :basic-reifier-02
 :basic-reifier-03
 :basic-reifier-04
 :basic-reifier-06
 :basic-reifier-07
+:basic-reifier-08
+:basic-reifier-09
+:basic-reifier-10
+:basic-reifier-11
+:basic-reifier-12
+:basic-reifier-13
 :basic-tripleterm-01
 :basic-tripleterm-02
 :basic-tripleterm-03
@@ -220,6 +232,36 @@
    mf:name    "basic-anonreifier-07.rq" ;
    mf:action  <basic-anonreifier-07.rq> .
 
+:basic-anonreifier-08 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-anonreifier-08.rq" ;
+   mf:action  <basic-anonreifier-08.rq> .
+
+:basic-anonreifier-09 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-anonreifier-09.rq" ;
+   mf:action  <basic-anonreifier-09.rq> .
+
+:basic-anonreifier-10 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-anonreifier-10.rq" ;
+   mf:action  <basic-anonreifier-10.rq> .
+
+:basic-anonreifier-11 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-anonreifier-11.rq" ;
+   mf:action  <basic-anonreifier-11.rq> .
+
+:basic-anonreifier-12 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-anonreifier-12.rq" ;
+   mf:action  <basic-anonreifier-12.rq> .
+
+:basic-anonreifier-13 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-anonreifier-13.rq" ;
+   mf:action  <basic-anonreifier-13.rq> .
+
 :basic-reifier-01 rdf:type   mf:PositiveSyntaxTest11 ;
    dawgt:approval dawgt:Proposed ;
    mf:name    "basic-reifier-01.rq" ;
@@ -250,6 +292,41 @@
    mf:name    "basic-reifier-07.rq" ;
    mf:action  <basic-reifier-07.rq> .
 
+:basic-reifier-08 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-reifier-08.rq" ;
+   mf:action  <basic-reifier-08.rq> .
+
+:basic-reifier-09 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-reifier-09.rq" ;
+   mf:action  <basic-reifier-09.rq> .
+
+:basic-reifier-10 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-reifier-10.rq" ;
+   mf:action  <basic-reifier-10.rq> .
+
+:basic-reifier-11 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-reifier-11.rq" ;
+   mf:action  <basic-reifier-11.rq> .
+
+:basic-reifier-12 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-reifier-12.rq" ;
+   mf:action  <basic-reifier-12.rq> .
+
+:basic-reifier-13 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-reifier-13.rq" ;
+   mf:action  <basic-reifier-13.rq> .
+
+:basic-reifier-07 rdf:type   mf:PositiveSyntaxTest11 ;
+   dawgt:approval dawgt:Proposed ;
+   mf:name    "basic-reifier-07.rq" ;
+   mf:action  <basic-reifier-07.rq> .
+
 :basic-tripleterm-01 rdf:type   mf:PositiveSyntaxTest11 ;
    dawgt:approval dawgt:Proposed ;
    mf:name    "basic-tripleterm-01.rq" ;
