Warning:
This wiki has been archived and is now read-only.
Errata/E7
From OWL
< Errata
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.