DOCUMENT START
NON-TERMINALS
	CompilationUnit	:=	Query <EOF>
	Query	:=	Prolog ( SelectQuery | ConstructQuery | DescribeQuery | AskQuery )
	Prolog	:=	( BaseDecl )? ( PrefixDecl )*
	BaseDecl	:=	<BASE> Q_IRI_REF
	PrefixDecl	:=	<PREFIX> <QNAME_NS> Q_IRI_REF
// ---- Query type clauses
	SelectQuery	:=	<SELECT> ( <DISTINCT> )? ( ( Var )+ | <STAR> ) ( DatasetClause )* WhereClause SolutionModifier
	ConstructQuery	:=	<CONSTRUCT> ConstructTemplate ( DatasetClause )* WhereClause SolutionModifier
	DescribeQuery	:=	<DESCRIBE> ( ( VarOrIRIref )+ | <STAR> ) ( DatasetClause )* ( WhereClause )? SolutionModifier
	AskQuery	:=	<ASK> ( DatasetClause )* WhereClause
// ----
	DatasetClause	:=	<FROM> ( DefaultGraphClause | NamedGraphClause )
	DefaultGraphClause	:=	SourceSelector
	NamedGraphClause	:=	<NAMED> SourceSelector
	SourceSelector	:=	IRIref
	WhereClause	:=	( <WHERE> )? GroupGraphPattern
	SolutionModifier	:=	( OrderClause )? ( LimitClause )? ( OffsetClause )?
	OrderClause	:=	<ORDER> <BY> ( OrderCondition )+
	OrderCondition	:=	( ( ( <ASC> | <DESC> ) BrackettedExpression ) | ( FunctionCall | Var | BrackettedExpression ) )
	LimitClause	:=	<LIMIT> <INTEGER>
	OffsetClause	:=	<OFFSET> <INTEGER>
// ---- General Graph Pattern 

// Basic building block.
	GroupGraphPattern	:=	<LBRACE> GraphPattern <RBRACE>
	GraphPattern	:=	( Triples )? ( GraphPatternNotTriples ( <DOT> )? GraphPattern )?
	GraphPatternNotTriples	:=	OptionalGraphPattern
		|	GroupOrUnionGraphPattern
		|	GraphGraphPattern
		|	UnsaidGraphPattern
		|	GraphMatchExtension
		|	Constraint
// ---- Definitions of each pattern element
	OptionalGraphPattern	:=	<OPTIONAL> GroupGraphPattern
	GraphGraphPattern	:=	<GRAPH> VarOrBlankNodeOrIRIref GroupGraphPattern
// G (union G)* can be a single group pattern
// or a group pattern as part of an union.
	GroupOrUnionGraphPattern	:=	GroupGraphPattern ( <UNION> GroupGraphPattern )*
	UnsaidGraphPattern	:=	<UNSAID> GroupGraphPattern
	GraphMatchExtension	:=	<EXT> IRIref ArgList
	Constraint	:=	<FILTER> ( BrackettedExpression | BuiltInCall | FunctionCall )
// -------- Construct patterns
	ConstructTemplate	:=	<LBRACE> ConstructTriples <RBRACE>
	ConstructTriples	:=	( Triples1 ( <DOT> ConstructTriples )? )?
// -------- Triple lists with property and object lists
	Triples	:=	Triples1 ( <DOT> ( Triples )? )?
	Triples1	:=	VarOrTerm PropertyListNotEmpty
		|	TriplesNode PropertyList
	PropertyList	:=	( PropertyListNotEmpty )?
	PropertyListNotEmpty	:=	Verb ObjectList ( <SEMICOLON> PropertyList )?
		|	Reification
	ObjectList	:=	GraphNode ( <COMMA> ObjectList )?
	Verb	:=	( VarOrBlankNodeOrIRIref | <KW_A> )
// -------- Triple expansions

// Anything that can stand in a node slot and which is
// a number of triples
	TriplesNode	:=	Collection
		|	BlankNodePropertyList
		|	Reification
	BlankNodePropertyList	:=	<LBRACKET> PropertyListNotEmpty <RBRACKET>
	Reification	:=	"<<" GraphNode GraphNode GraphNode ">>"
// ------- RDF collections
	Collection	:=	<LPAREN> ( GraphNode )+ <RPAREN>
// -------- Nodes in a graph pattern or template
	GraphNode	:=	VarOrTerm
		|	TriplesNode
	VarOrTerm	:=	( Var | GraphTerm )
// Property (if no bNodes) + DESCRIBE
	VarOrIRIref	:=	( Var | IRIref )
// GRAPH and property if including blank nodes are properties.
	VarOrBlankNodeOrIRIref	:=	( Var | BlankNode | IRIref )
	Var	:=	( <VAR1> | <VAR2> )
	GraphTerm	:=	IRIref
		|	RDFLiteral
		|	( <MINUS> | <PLUS> )? NumericLiteral
		|	BooleanLiteral
		|	BlankNode
		|	<NIL>
// -------- Constraint syntax
	Expression	:=	ConditionalOrExpression
	ConditionalOrExpression	:=	ConditionalAndExpression ( <SC_OR> ConditionalAndExpression )*
	ConditionalAndExpression	:=	ValueLogical ( <SC_AND> ValueLogical )*
	ValueLogical	:=	RelationalExpression
	RelationalExpression	:=	NumericExpression ( <EQ> NumericExpression | <NE> NumericExpression | <LT> NumericExpression | <GT> NumericExpression | <LE> NumericExpression | <GE> NumericExpression )?
	NumericExpression	:=	AdditiveExpression
	AdditiveExpression	:=	MultiplicativeExpression ( <PLUS> MultiplicativeExpression | <MINUS> MultiplicativeExpression )*
	MultiplicativeExpression	:=	UnaryExpression ( <STAR> UnaryExpression | <SLASH> UnaryExpression )*
	UnaryExpression	:=	<BANG> PrimaryExpression
		|	<PLUS> PrimaryExpression
		|	<MINUS> PrimaryExpression
		|	PrimaryExpression
	BuiltInCall	:=	<STR> <LPAREN> Expression <RPAREN>
		|	<LANG> <LPAREN> Expression <RPAREN>
		|	<LANGMATCHES> <LPAREN> Expression <COMMA> Expression <RPAREN>
		|	<DTYPE> <LPAREN> Expression <RPAREN>
		|	<BOUND> <LPAREN> Var <RPAREN>
		|	<IS_IRI> <LPAREN> Expression <RPAREN>
		|	<IS_URI> <LPAREN> Expression <RPAREN>
		|	<IS_BLANK> <LPAREN> Expression <RPAREN>
		|	<IS_LITERAL> <LPAREN> Expression <RPAREN>
		|	RegexExpression
	RegexExpression	:=	<REGEX> <LPAREN> Expression <COMMA> Expression ( <COMMA> Expression )? <RPAREN>
	FunctionCall	:=	IRIref ArgList
// The case of "q:name()" or just "q:name"
// by expanding out FunctionCall()
	IRIrefOrFunction	:=	IRIref ( ArgList )?
	ArgList	:=	( <NIL> | <LPAREN> Expression ( <COMMA> Expression )* <RPAREN> )
	BrackettedExpression	:=	<LPAREN> Expression <RPAREN>
	PrimaryExpression	:=	( BrackettedExpression | BuiltInCall | IRIrefOrFunction | RDFLiteral | NumericLiteral | BooleanLiteral | BlankNode | Var )
	NumericLiteral	:=	<INTEGER>
		|	<DECIMAL>
		|	<DOUBLE>
	RDFLiteral	:=	String ( ( <LANGTAG> ) | ( <DATATYPE> IRIref ) )?
	BooleanLiteral	:=	<TRUE>
		|	<FALSE>
	String	:=	( <STRING_LITERAL1> | <STRING_LITERAL2> | <STRING_LITERAL_LONG1> | <STRING_LITERAL_LONG2> )
	IRIref	:=	Q_IRI_REF
		|	QName
	QName	:=	( <QNAME> | <QNAME_NS> )
	BlankNode	:=	<BLANK_NODE_LABEL>
		|	<ANON>
	Q_IRI_REF	:=	<Q_IRIref>

DOCUMENT END