@inproceedings{HoPa03b,
  title = "Reducing {OWL} Entailment to Description Logic Satisfiability",
  author = "Ian Horrocks and Peter F. Patel-Schneider",
  year = "2003",
  booktitle = "Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)",
  editor = "Dieter Fensel and Katia Sycara and John Mylopoulos",
  isbn = "3-540-20362-1",
  pages = "17--29",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "download/2003/HoPa03b.pdf",
  volume = "2870",
}