Errata/E7

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.

Last modified on 28 November 2009, at 18:08