@inproceedings{Horrocks97e,
  title = "Description Logics with Transitive Roles",
  author = "I. Horrocks and G. Gough",
  year = "1997",
  booktitle = "Collected Papers from the International Description Logics Workshop (DL'97)",
  editor = "M.-C. Rousset and R. Brachman and F. Donini and E. Franconi and I. Horrocks and A. Levy",
  key = "Proceedings of DL'97",
  pages = "25--28",
  url = "http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/1997/Horrocks97e.pdf",
}