SRIQ and SROIQ are Harder than SHOIQ - Kazakov, Y (CEUR−WS.org, 2008)