Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus. Query Answering in Description Logics with Transitive Roles. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 759-764, 2009. [doi]
Abstract is missing.