Transitive Roles in Number Restrictions Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin The University of Manchester {kazakov,sattler,zolin}@cs.man.ac.uk.