@inproceedings{PaHo02a,
  title = "Semantic Web Ontology Reasoning in the $\mathcal{SHOQ({\bf D_n})}$ Description Logic",
  author = "Jeff Z.~Pan and Ian Horrocks",
  year = "2002",
  booktitle = "Proc.\ of the 2002 Description Logic Workshop (DL~2002)",
  pages = "53--62",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2002/dl02-shoqdn.pdf",
  volume = "63",
}