@inproceedings{GlHS07a,
  author = "Glimm, Birte and Horrocks, Ian and Sattler, Uli",
  booktitle = "Proceedings of the 2007 Description Logic Workshop ({DL} 2007)",
  title = "Conjunctive Query Entailment for $\mathcal{SHOQ}$",
  year = "2007",
}