@inproceedings{HoSa01,
  title = "Ontology Reasoning in the {$\mathcal{SHOQ}$(D)} Description Logic",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "2001",
  annote = "AKA: Horrocks01b",
  booktitle = "Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001)",
  pages = "199--204",
  publisher = "Morgan Kaufmann, Los Altos",
  url = "download/2001/ijcai01.pdf",
}