@inproceedings{HoST00b,
  title = "Reasoning with Individuals for the Description Logic {$\mathcal{SHIQ}$}",
  author = "Ian Horrocks and Ulrike Sattler and Stephan Tobies",
  year = "2000",
  annote = "AKA: Horrocks00b",
  booktitle = "Proc.\ of the 17th Int.\ Conf.\ on Automated Deduction (CADE~2000)",
  editor = "David McAllester",
  pages = "482--496",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "download/2000/CADE17.pdf",
  volume = "1831",
}