@incollection{BaHS03,
  title = "Description Logics as Ontology Languages for the Semantic Web",
  author = "Franz Baader and Ian Horrocks and Ulrike Sattler",
  year = "2005",
  booktitle = "Mechanizing Mathematical Reasoning: Essays in Honor of J{\"o}rg Siekmann on the Occasion of His 60th Birthday",
  editor = "Dieter Hutter and Werner Stephan",
  isbn = "3-540-25051-4",
  number = "2605",
  pages = "228--248",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/2003/BaHS03.pdf",
}