@inproceedings{GlHS07a,
  title = "Conjunctive Query Entailment for $\mathcal{SHOQ}$",
  author = "Glimm, Birte and Horrocks, Ian and Sattler, Uli",
  year = "2007",
  booktitle = "Proc.\ of the 2007 Description Logic Workshop (DL~2007)",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2007/GlHS07a.pdf",
  volume = "250",
}