@inproceedings{HoPa03c,
  title = "Reducing {OWL} Entailment to Description Logic Satisfiability",
  author = "Ian Horrocks and Peter F. Patel-Schneider",
  year = "2003",
  booktitle = "Proc.\ of the 2003 Description Logic Workshop (DL~2003)",
  pages = "1--8",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2003/HoPa03c.pdf",
  volume = "81",
}