@article{HoSa99,
  title = "A Description Logic with Transitive and Inverse Roles and Role Hierarchies",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "1999",
  annote = "AKA: Horrocks98j",
  journal = "J.\ of Logic and Computation",
  number = "3",
  pages = "385--410",
  url = "download/1999/090385.pdf",
  volume = "9",
}