Practical Reasoning for Very Expressive Description Logics

From Tetherless World Wiki

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