Description Logic Handbook 2003

Part I. Theory

Part II. Implementation

Part III. Applications

Appendix

maintained by Schloss Dagstuhl LZI at University of Trier