- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Sat, 28 Nov 2009 18:13:19 +0000
- To: stefan.langenmaier@uni-ulm.de
- Cc: public-owl-comments@w3.org, Thorsten Liebig <thorsten.liebig@uni-ulm.de>
Thanks for pointing this out.
The production rule for ReflexiveObjectProperty is (as you say) superfluous but harmless as ReflexiveObjectProperty isn't used elsewhere (reflexive object properties are not part of the RL profile). Nevertheless, this rule should clearly be removed.
Regards,
Ian
On 19 Nov 2009, at 14:29, stefan.langenmaier@uni-ulm.de wrote:
> 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 Saturday, 28 November 2009 18:13:54 UTC