Skip to content

SRL Grammar - FILTER and trailing DOT #966

Description

@afs

There is an unintended difference between SRL and SPARQL.

SPARQL allows DOT after FILTER(), SRL does not.

SRL:

BodyPattern           ::= '{' BodyTriplesBlock? ( BodyNotTriples BodyTriplesBlock? )* '}'
BodyNotTriples        ::= Filter | Negation | Assignment

and

Negation              ::= 'NOT' '{' BodyBasic '}'
BodyBasic             ::= BodyTriplesBlock? ( Filter BodyTriplesBlock? )*

(the latter woule be better rewritten to the same style as the former with BodyBasicNotTriples)

whereas is SPARQL:

GroupGraphPatternSub      ::= TriplesBlock? ( GraphPatternNotTriples '.'? TriplesBlock? )*

Metadata

Metadata

Assignees

No one assigned

    Labels

    RulesFor SHACL 1.2 Rules spec.

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions