@Article{HorrSat-JLC-99,
  author = 	 {Horrocks, I. and Sattler, U.},
  title = 	 {A Description Logic with Transitive and Inverse Roles and Role
Hierarchies}, 
  journal = 	 {Journal of Logic and Computation},
  year = 	 1999,
  volume = 9,
number = 	 3,
pages = 	 {385--410},
  jlc =          yes,
  freecopy =     yes
}