Description Logic Handbook 2003

Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (Eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003, ISBN 0-521-78176-0

@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

Part I. Theory

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

Part II. Implementation

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

Part III. Applications

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

Appendix

Franz Baader: Description Logic Terminology. 485-495

Last update Thu May 24 04:16:27 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page