Pushing the EL Envelope Further


We extend the description logic EL with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show that subsumption becomes PSpace-hard (resp. undecidable) if this restriction is weakened (resp. dropped). Additionally, we prove that tractability is lost when symmetric roles are added: in this case, subsumption becomes ExpTimehard.

Extracted Key Phrases

1 Figure or Table

Citations per Year

258 Citations

Semantic Scholar estimates that this publication has 258 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Baader2008PushingTE, title={Pushing the EL Envelope Further}, author={Franz Baader and Carsten Lutz and Sebastian Brandt}, booktitle={OWLED}, year={2008} }