RE: Editorial bug in the EL profile?

Hello,

I added this into the profile because Carsten at one point made a statement in the WG that this was OK. I don't think, however, that
there is a paper (yet) that presents the nuances of how to handle these constructs.

Carsten, would you mind commenting on this?

Regards,

	Boris

> -----Original Message-----
> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Evren Sirin
> Sent: 13 August 2008 23:47
> To: public-owl-wg@w3.org
> Subject: Editorial bug in the EL profile?
> 
> 
> I believe this is an editorial bug and can be fixed without opening an
> issue. The EL++ profile description [1] lists both self-restrictions
> (ObjectExistsSelf) and reflexive object properties
> (ReflexiveObjectProperty) as part of EL++ profile. However, the cited
> paper [2] describes only supporting reflexive properties but not self
> restrictions. I'm not aware of any other work describing how to
> support self restrictions in EL++ and I believe self restrictions
> should be removed from the EL++ profile (or if there is such work that
> reference should be included).
> 
> Cheers,
> Evren
> 
> [1] http://www.w3.org/2007/OWL/wiki/Profiles#Feature_Overview
> [2] http://www.w3.org/2007/OWL/wiki/Profiles#ref-ELppUpd

Received on Wednesday, 13 August 2008 14:24:34 UTC