The definition of PropertyListPathNotEmpty fixed.

[hchiba1]

In the grammar of SPARQL1.1 specification, PropertyListPathNotEmpty is defined as follows:

[83] PropertyListPathNotEmpty ::= ( VerbPath | VerbSimple ) ObjectListPath ( ';' ( ( VerbPath | VerbSimple ) ObjectList )? )*

Note that ObjectListPath is used before the ; whereas ObjectList is used after the ;
which means property path is not allowed after the ;.

For example, the following query is valid:

SELECT *
WHERE {
  ?s ?p2 [ ex:p1/ex:p2 ?o2 ] ;
     ?p ?o .
}

However, the following query is not valid:

SELECT *
WHERE {
  ?s ?p ?o ;
     ?p2 [ ex:p1/ex:p2 ?o2 ] .
}

This seems to be inconsistent and problematic.

It appears that the definition of PropertyListPathNotEmpty should instead be:
[83] PropertyListPathNotEmpty ::= ( VerbPath | VerbSimple ) ObjectListPath ( ';' ( ( VerbPath | VerbSimple ) ObjectListPath )? )*
With this revision, ObjectListPath is consistently used both before and after the ;.

[hchiba1]

In commit 4190a5b, the pegjs files were modified.

[hchiba1]

This issue is fixed in SPARQL 1.2 grammar.