RIQ and SROIQ Are Harder than SHOIQ

Yevgeny Kazakov. RIQ and SROIQ Are Harder than SHOIQ. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 274-284, AAAI Press, 2008.

Abstract

Abstract is missing.