Description Logic Handbook 2003

Part I. Theory

Part II. Implementation

Part III. Applications

Appendix