THE DESCRIPTION LOGIC HANDBOOK:
Theory, Implementation and Applications
2nd Edition, Cambridge University Press, 2007
The handbook is meant to provide a thorough introduction to Description Logics,
covering all aspects of the research in this field, namely: theory,
implementation and applications. Following the spirit that fostered the
research in the field the Description Logics Handbook is meant to provide a
thorough introduction to Description Logics both for the more theoretically
oriented reader interested in the formal study of Description Logics and for
the more practically oriented reader aiming at a principled usage of knowledge
representation systems based on Description Logics. Although not intended as a
textbook, the book should serve as a reference for the subject in Knowledge
Representation and Artificial Intelligence courses.
(For more information on Description Logics see
here, and for the book structure see
here).
The book is published by
Cambridge University
Press and is edited by:
- Franz Baader, Technische Universität Dresden, Dresden, Germany
- Diego Calvanese, Free University of Bozen-Bolzano, Bolzano, Italy
- Deborah McGuinness, Rensselaer Polytechnic Institute, New York,
USA
- Daniele Nardi, Università degli Studi di Roma “La
Sapienza”, Roma, Italy
- Peter Patel Schneider, AT&T Bell Laboratories, Florham Park,
New Jersey, USA