@incollection{Horrocks01k,
  title = "Implementation and Optimisation Techniques",
  author = "I. Horrocks",
  year = "2003",
  booktitle = "The Description Logic Handbook: Theory, Implementation, and Applications",
  chapter = "9",
  editor = "Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider",
  isbn = "0-521-78176-0",
  pages = "306--346",
  publisher = "Cambridge University Press",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2003/Horrocks01k.pdf",
}