A description logic with transitive and inverse roles and role hierarchies (1999)

by I Horrocks, U Sattler
Venue:Journal of Logic and Computation