@inproceedings{Horrocks98g,
  title = "A Description Logic with Transitive and Inverse Roles and Role Hierarchies",
  author = "I. Horrocks and U. Sattler",
  year = "1998",
  booktitle = "Proc.\ of the 1998 Description Logic Workshop (DL'98)",
  pages = "72--81",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1998/Horrocks98g.pdf",
  volume = "11",
}