Pushing the EL Envelope Further

From Tetherless World Wiki

\begin{bibtex}

@inproceedings{DBLP:conf/owled/BaaderLB08, author = {Franz Baader and Carsten Lutz and Sebastian Brandt}, title = {Pushing the EL Envelope Further}, booktitle = {OWL: Experiences and Directions (OWLED)}, pages = {online} year = {2008} pdf = {http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_3.pdf} abstract = {We extend the description logic EL++ with re°exive 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 ExpTime- hard.}, topic = {OWL, EL} }

\end{bibtex}