Pushing the EL Envelope Further

Abstract

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

020402008200920102011201220132014201520162017
Citations per Year

259 Citations

Semantic Scholar estimates that this publication has 259 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} }