@inproceedings{Horr05b,
  title = "Description Logics in Ontology Applications",
  author = "Ian Horrocks",
  year = "2005",
  booktitle = "Proc.\ of the 9th Int.\ Conf.\ on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX~2005)",
  editor = "B. Beckert",
  isbn = "3-540-28931-3",
  number = "3702",
  pages = "2--13",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/2005/Horr05b.pdf",
}