complexity of sroiq

Hi, I had a look to the Horrocks' paper about SROIQ. However, I need 
information about the computational complexity of the knowledge base 
consistency in this language.

Thank you in advance,
CL

Received on Sunday, 20 November 2011 20:55:14 UTC