@incollection{BaHS07a,
  title = "{D}escription {L}ogics",
  author = "Franz Baader and Ian Horrocks and Ulrike Sattler",
  year = "2007",
  booktitle = "Handbook of Knowledge Representation",
  editor = "Frank {van Harmelen} and Vladimir Lifschitz and Bruce Porter",
  publisher = "Elsevier",
  url = "download/2007/BaHS07a.pdf",
}