RIQ and SROIQ are Harder than SHOIQ - Kazakov, Y (AAAI Press, 2008)