@inproceedings{TsHo05b,
  title = "Optimised Classification for Taxonomic Knowledge Bases",
  author = "Dmitry Tsarkov and Ian Horrocks",
  year = "2005",
  booktitle = "Proc.\ of the 2005 Description Logic Workshop (DL~2005)",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2005/TsHo05b.pdf",
  volume = "147",
}