DBLP:journals/corr/cs-LO-0005017

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/corr/cs-LO-0005017, title={Reasoning with Individuals for the Description Logic SHIQ}, ee={http://arxiv.org/abs/cs.LO/0005017}, year={2000}, journal={CoRR}, volume={cs.LO/0005017}, url={http://www.informatik.uni-trier.de/~ley/db/journals/corr/corr0005.html#cs-LO-0005017}, note={informal publication}, author={Ian Horrocks and Ulrike Sattler and Stephan Tobies} }\end{bibtex}