W3C home > Mailing lists > Public > public-owl-comments@w3.org > November 2009

Re: Superfluous statement in OWL2 RL grammmer

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Sat, 28 Nov 2009 18:13:19 +0000
Cc: public-owl-comments@w3.org, Thorsten Liebig <thorsten.liebig@uni-ulm.de>
Message-Id: <E013B8BF-F731-4E7A-9DC8-73FF45930893@cs.man.ac.uk>
To: stefan.langenmaier@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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 28 November 2009 18:13:55 GMT