Re: Editorial bug in the EL profile?

On Freitag, 15. August 2008, Carsten Lutz wrote:
> 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.
> Markus?

Yes, we describe how to handle this for (an extension of) EL++ in an upcoming 
ISWC paper:

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler. "ELP: Tractable Rules for 
OWL 2." In Proceedings of the 7th International Semantic Web Conference 
(ISWC-08). Springer 2008. To appear.
http://korrekt.org/page/ELP

This paper uses various OWL 2 features to obtain a polytime rule 
language "ELP" that subsumes EL++. As explained in the paper, all our results 
are directly applicable to EL++ as well: any EL++ statement "A subclassOf B" 
essentially can directly be expressed as a rule "A(x) -> B(x)" in our 
formalism.

So we should probably add this to the references of the profiles document.


Regards,

Markus

>
> greetings,
>  		Carsten
>
> 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] http://www.w3.org/2007/OWL/wiki/Profiles#Feature_Overview
> > [2] http://www.w3.org/2007/OWL/wiki/Profiles#ref-ELppUpd
>
> --
> *      Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden     
>  * *     Office phone:++49 351 46339171   mailto:lutz@tcs.inf.tu-dresden.de
>     *



-- 
Markus Krötzsch
Institut AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
phone +49 (0)721 608 7362          fax +49 (0)721 608 5998
mak@aifb.uni-karlsruhe.de          www  http://korrekt.org