Description Logics as Ontology Languages for the Semantic Web
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/birthday/BaaderHS05, title={Description Logics as Ontology Languages for the Semantic Web}, pages={228-248}, year={2005}, crossref={DBLP:conf/birthday/2005siekmann}, booktitle={Mechanizing Mathematical Reasoning}, ee={http://springerlink.metapress.com/openurl.asp?genre=article&id=AXH20N8L34BC3ECB}, url={http://www.informatik.uni-trier.de/~ley/db/conf/birthday/siekmann2005.html#BaaderHS05}, author={Franz Baader and Ian Horrocks and Ulrike Sattler} }\end{bibtex}
