RE: Editorial bug in the EL profile?


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?



> -----Original Message-----
> From: [] On Behalf Of Evren Sirin
> Sent: 13 August 2008 23:47
> To:
> 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]
> [2]

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