Superfluous statement in OWL2 RL grammmer

Hello group,

in the description of the grammer of OWL2 RL  
(http://www.w3.org/TR/owl2-profiles/#OWL_2_RL_2) is a rule for the  
creation of a ReflexiveObjectProperty.

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

As this rule is never used in any other rule and it is disallowed in  
the OWL2 RL profile it seems unnecessary to me.

Best regards
Stefan Langenmaier

Received on Friday, 20 November 2009 16:01:05 UTC