Errata/E7

From OWL
< Errata
Revision as of 18:08, 28 November 2009 by IanHorrocks (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.