Abstract is missing.
- An Introduction to Description LogicsDaniele Nardi, Ronald J. Brachman. 1-40
- Basic Description LogicsFranz Baader, Werner Nutt. 43-95
- Complexity of ReasoningFrancesco M. Donini. 96-136
- Relationships with other FormalismsUlrike Sattler, Diego Calvanese, Ralf Molitor. 137-177
- Expressive Description LogicsDiego Calvanese, Giuseppe De Giacomo. 178-218
- Extensions to Description LogicsFranz Baader, Ralf Küsters, Frank Wolter. 219-261
- From Description Logic Provers to Knowledge Representation SystemsDeborah L. McGuinness, Peter F. Patel-Schneider. 265-281
- Description Logic SystemsRalf Möller, Volker Haarslev. 282-305
- Implementation and Optimization TechniquesIan Horrocks. 306-346
- Conceptual Modeling with Description LogicsAlexander Borgida, Ronald J. Brachman. 349-372
- Software EngineeringChristopher A. Welty. 373-387
- ConfigurationDeborah L. McGuinness. 388-405
- Medical InformaticsAlan L. Rector. 406-426
- Digital Libraries and Web-based Information SystemsIan Horrocks, Deborah L. McGuinness, Christopher A. Welty. 427-449
- Natural Language ProcessingEnrico Franconi. 450-461
- Description Logics for DatabasesAlexander Borgida, Maurizio Lenzerini, Riccardo Rosati. 462-484
- Description Logic TerminologyFranz Baader. 485-495