@inproceedings{GHLS07a,
  author = "Glimm, Birte and Horrocks, Ian and Lutz, Carsten and Sattler, Uli",
  booktitle = "Proceedings of the 20th International Joint Conference on Artificial Intelligence ({IJCAI} 2007)",
  title = "Conjunctive Query Answering in the Description Logic $\mathcal{SHIQ}$",
  year = "2007",
}