Re: Editorial bug in the EL profile?

Dear Evan,

I would classify it as "common knowledge" that EbjectExistsSelf can be
added to all existing algorithms for EL++ without spoiling their good
properties. This is really easy to see. When writing the EL++ papers,
we simply didn't expect that this operator would become important in
the future. It certainly doesn't deserve an extra publication, so we
should not wait for one before putting this operator in the spec.

I also suspect that some algorithm by Markus Kroetzsch et al can deal
with the operator explicitly. Can't check now since I am travelling.


On Wed, 13 Aug 2008, Evren Sirin wrote:
> 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]

*      Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden       *
*     Office phone:++49 351 46339171     *

Received on Thursday, 14 August 2008 23:13:30 UTC