Chan Le Duc, Myriam Lamolle, Olivier Curé. A Decision Procedure for SHOIQ with Transitive Closure of Roles. In Harith Alani, Lalana Kagal, Achille Fokoue, Paul T. Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha F. Noy, Chris Welty, Krzysztof Janowicz, editors, The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I. Volume 8218 of Lecture Notes in Computer Science, pages 264-279, Springer, 2013. [doi]