SRIQ and SROIQ are harder than SHOIQ, in: (2008)

by Yevgeny Kazakov
Venue:Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR