Description Logic Handbook 2003

@proceedings{DBLP:conf/dlog/2003handbook,
  editor    = {Franz Baader and
               Diego Calvanese and
               Deborah L. McGuinness and
               Daniele Nardi and
               Peter F. Patel-Schneider},
  title     = {The Description Logic Handbook: Theory, Implementation, and Applications},
  booktitle = {Description Logic Handbook},
  publisher = {Cambridge University Press},
  year      = {2003},
  isbn      = {0-521-78176-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Daniele Nardi, Ronald J. Brachman: An Introduction to Description Logics. 1-40 BibTeX

Part I. Theory

• Franz Baader, Werner Nutt: Basic Description Logics. 43-95 BibTeX
• Francesco M. Donini: Complexity of Reasoning. 96-136 BibTeX
• Ulrike Sattler, Diego Calvanese, Ralf Molitor: Relationships with other Formalisms. 137-177 BibTeX
• Diego Calvanese, Giuseppe De Giacomo: Expressive Description Logics. 178-218 BibTeX
• Franz Baader, Ralf Küsters, Frank Wolter: Extensions to Description Logics. 219-261 BibTeX

Part II. Implementation

• Deborah L. McGuinness, Peter F. Patel-Schneider: From Description Logic Provers to Knowledge Representation Systems. 265-281 BibTeX
• Ralf Möller, Volker Haarslev: Description Logic Systems. 282-305 BibTeX
• Ian Horrocks: Implementation and Optimization Techniques. 306-346 BibTeX

Part III. Applications

• Alexander Borgida, Ronald J. Brachman: Conceptual Modeling with Description Logics. 349-372 BibTeX
• Christopher A. Welty: Software Engineering. 373-387 BibTeX
• Deborah L. McGuinness: Configuration. 388-405 BibTeX
• Alan L. Rector: Medical Informatics. 406-426 BibTeX
• Ian Horrocks, Deborah L. McGuinness, Christopher A. Welty: Digital Libraries and Web-based Information Systems. 427-449 BibTeX
• Enrico Franconi: Natural Language Processing. 450-461 BibTeX
• Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati: Description Logics for Databases. 462-484 BibTeX

Appendix

• Franz Baader: Description Logic Terminology. 485-495 BibTeX