Errata/E7

From OWL
Jump to: navigation, search

Complete grammar for RL contains superfluous production for non-terminal ReflexiveObjectProperty:

ReflexiveObjectProperty := 'ReflexiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

This is harmless as ReflexiveObjectProperty isn't used elsewhere in the grammar. Nevertheless, the should rule should obviously be deleted.