@inproceedings{Horrocks00j,
  title = "Optimisation of Terminological Reasoning",
  author = "I. Horrocks and S. Tobies",
  year = "2000",
  booktitle = "Proc.\ of the 2000 Description Logic Workshop (DL~2000)",
  isbn = "3-86073-726-0",
  issn = "1437-8396",
  pages = "183--192",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2000/Horrocks00j.pdf",
}