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 ExpTime-
hard
S. Grimm, B. Motik, и C. Preist. Proc. of the 3rd European Semantic Web Conference (ESWC 2006), том 4011 из LNCS, стр. 575--589. Budva, Montenegro, Springer, (июня 2006)
A. Kalyanpur, B. Parsia, M. Horridge, и E. Sirin. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, том 4825 из LNCS, стр. 267--280. Berlin, Heidelberg, Springer Verlag, (ноября 2007)
D. Frankel, P. Hayes, E. Kendall, и D. McGuinness. 1st International Workshop on the Model-Driven Semantic Web (MDSW2004), Monterey, California, USA, (сентября 2004)