@inproceedings{HoPa01,
  title = "The Generation of {DAML+OIL}",
  author = "Ian Horrocks and Patel-Schneider, Peter F.",
  year = "2001",
  annote = "AKA: Horrocks01f",
  booktitle = "Proc.\ of the 2001 Description Logic Workshop (DL~2001)",
  pages = "30--35",
  series = "CEUR (\url{http://ceur-ws.org/})",
  url = "download/2001/HoPa01.pdf",
  volume = "49",
}