Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus. Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 1039-1044, IJCAI/AAAI, 2011. [doi]
Abstract is missing.