Bibliography

1

F. Baader and P. Hanschke.
A scheme for integrating concrete domains into concept languages.
In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pages 452-457, 1991.

2

F. Baader, H.-J. Heinsohn, B. Hollunder, J. Muller, B. Nebel, W. Nutt, and H.-J. Profitlich.
Terminological knowledge representation: A proposal for a terminological logic.
Technical Memo TM-90-04, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI), 1991.

3

I. Horrocks.
Benchmark analysis with fact.
In Proc. of TABLEAUX 2000, number 1847 in Lecture Notes in Artificial Intelligence, pages 62-66. Springer-Verlag, 2000.

4

I. Horrocks, U. Sattler, and S. Tobies.
Practical reasoning for expressive description logics.
In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer-Verlag, 1999.

5

I. Horrocks, U. Sattler, and S. Tobies.
Reasoning with individuals for the description logic $\mathcal{SHIQ}$.
In David MacAllester, editor, Proc. of CADE-2000, number 1831 in Lecture Notes in Artificial Intelligence, pages 482-496. Springer-Verlag, 2000.

6

P. F. Patel-Schneider and B. Swartout.
Description logic specification from the KRSS effort, June 1993.