Yevgeny Kazakov. An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. In Jürgen Giesl, Reiner Hähnle, editors, Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh,UK, July 16-19, 2010. Proceedings. Volume 6173 of Lecture Notes in Computer Science, pages 472-486, Springer, 2010. [doi]
Abstract is missing.