GH-282, GH-283: Restrict triple terms to have only IRI as a constant subject in VALUES and expressions

Author: afs

spec/index.html

@@ -12109,7 +12109,7 @@ <h3>Grammar</h3>
                 <td><code>[123]&nbsp;&nbsp;</code></td>
                 <td><code><span class="doc-ref" id="rTripleTermDataSubject">TripleTermDataSubject</span></code></td>
                 <td>&nbsp;&nbsp;::=&nbsp;&nbsp;</td>
-                <td><code class="gRuleBody"><a href="#riri">iri</a> | <a href="#rRDFLiteral">RDFLiteral</a> | <a href="#rNumericLiteral">NumericLiteral</a> | <a href="#rBooleanLiteral">BooleanLiteral</a> | <a href="#rTripleTermData">TripleTermData</a></code></td>
+                <td><code class="gRuleBody"><a href="#riri">iri</a></code></td>
               </tr>
 
               <tr style="vertical-align: baseline">
@@ -12214,7 +12214,7 @@ <h3>Grammar</h3>
                 <td><code>[138]&nbsp;&nbsp;</code></td>
                 <td><code><span class="doc-ref" id="rExprTripleTermSubject">ExprTripleTermSubject</span></code></td>
                 <td>&nbsp;&nbsp;::=&nbsp;&nbsp;</td>
-                <td><code class="gRuleBody"><a href="#riri">iri</a> | <a href="#rRDFLiteral">RDFLiteral</a> | <a href="#rNumericLiteral">NumericLiteral</a> | <a href="#rBooleanLiteral">BooleanLiteral</a> | <a href="#rVar">Var</a> | <a href="#rExprTripleTerm">ExprTripleTerm</a></code></td>
+                <td><code class="gRuleBody"><a href="#riri">iri</a> | <a href="#rVar">Var</a></code></td>
               </tr>
 
               <tr style="vertical-align: baseline">

spec/sparql.bnf

@@ -120,7 +120,7 @@ TripleTerm                ::= '<<(' TripleTermSubject Verb TripleTermObject ')>>
 TripleTermSubject         ::= Var | iri | RDFLiteral | NumericLiteral | BooleanLiteral | BlankNode | TripleTerm
 TripleTermObject          ::= Var | iri | RDFLiteral | NumericLiteral | BooleanLiteral | BlankNode | TripleTerm
 TripleTermData            ::= '<<(' TripleTermDataSubject ( iri | 'a' ) TripleTermDataObject ')>>'
-TripleTermDataSubject     ::= iri | RDFLiteral | NumericLiteral | BooleanLiteral | TripleTermData
+TripleTermDataSubject     ::= iri
 TripleTermDataObject      ::= iri | RDFLiteral | NumericLiteral | BooleanLiteral | TripleTermData
 VarOrIri                  ::= Var | iri
 Var                       ::= VAR1 | VAR2
@@ -138,7 +138,7 @@ UnaryExpression           ::= '!' UnaryExpression
                           |   PrimaryExpression
 PrimaryExpression         ::= BrackettedExpression | BuiltInCall | iriOrFunction | RDFLiteral | NumericLiteral | BooleanLiteral | Var | ExprTripleTerm
 ExprTripleTerm            ::= '<<(' ExprTripleTermSubject Verb ExprTripleTermObject ')>>'
-ExprTripleTermSubject     ::= iri | RDFLiteral | NumericLiteral | BooleanLiteral | Var | ExprTripleTerm
+ExprTripleTermSubject     ::= iri | Var
 ExprTripleTermObject      ::= iri | RDFLiteral | NumericLiteral | BooleanLiteral | Var | ExprTripleTerm
 BrackettedExpression      ::= '(' Expression ')'
 BuiltInCall               ::= Aggregate