@INCOLLECTION{baader-ho-04,
  AUTHOR = {Franz Baader and Ian Horrocks and Ulrike Sattler},
  TITLE = {Description Logics.},
  BOOKTITLE = {Handbook on Ontologies},
  PUBLISHER = {Springer},
  YEAR = {2004},
  EDITOR = {Steffen Staab and Rudi Studer},
  PAGES = {3-28}
}

@ARTICLE{horrocks00practical,
  AUTHOR = {I. Horrocks and U. Sattler and S. Tobies},
  TITLE = {Practical Reasoning for Very Expressive Description Logics},
  JOURNAL = {Logic Journal of the IGPL},
  VOLUME = {8},
  YEAR = {2000},
  PAGES = {239--264},
  NUMBER = {3},
  URL = {citeseer.ist.psu.edu/article/horrocks00practical.html}
}

@BOOK{baader-dl-book-03,
  AUTHOR = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi
		and Peter Patel-Schneider},
  TITLE = {The Description Logic Handbook : Theory, Implementation and Applications},
  PUBLISHER = {Cambridge University Press},
  YEAR = {2003}
}