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).


[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 13:47:58 UTC