Complexity Boundaries for Horn Description Logics
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/aaai/KrotzschRH07, title={Complexity Boundaries for Horn Description Logics}, pages={452-457}, year={2007}, crossref={DBLP:conf/aaai/2007}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2007.html#KrotzschRH07}, author={Markus Krötzsch and Sebastian Rudolph and Pascal Hitzler} }\end{bibtex}
