@article{HoPa04b,
  title = "Reducing {OWL} entailment to description logic satisfiability",
  author = "Ian Horrocks and Peter Patel-Schneider",
  year = "2004",
  issn = "1570-8268",
  journal = "J.\ of Web Semantics",
  number = "4",
  pages = "345--357",
  publisher = "Elsevier",
  url = "download/2004/HoPa04b.pdf",
  volume = "1",
}