* Removes xsd:double as a lexical constraint, which is unnecessary.

* Clarify equality of maps and map elements. * Call out to doubleLexicalMap for converting numbers into xsd:double values.
w3c · Jun 1, 2024 · 3518294 · 3518294
1 parent e271513
commit 3518294
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/spec/turtle.bnf b/spec/turtle.bnf
@@ -23,10 +23,13 @@ String                ::= STRING_LITERAL_QUOTE | STRING_LITERAL_SINGLE_QUOTE
 iri                   ::= IRIREF | PrefixedName
 PrefixedName          ::= PNAME_LN | PNAME_NS
 BlankNode             ::= BLANK_NODE_LABEL | ANON
-reifier               ::= '<<' ((iri | BlankNode) '|' )? subject predicate object '>>'
-tripleTerm            ::= '<<(' subject predicate ttObject ')>>'
+reifier               ::= '<<' reifid? (qtriple | triple) '>>'
+reifid                ::= ((iri | BlankNode) '|')
+tripleTerm            ::= '<<(' triple ')>>'
+triple                ::= subject predicate object
+qtriple               ::= '"' triple '"'
 ttObject              ::=	iri | BlankNode | literal | tripleTerm
-annotation            ::= '{|' ( (iri | BlankNode) '|' )? predicateObjectList '|}'
+annotation            ::= '{|' reifid? predicateObjectList '|}'
 
 @terminals