THE DESCRIPTION LOGIC HANDBOOK:
Theory, implementation and applications
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
motivation, and for the book structure see
contents).
The book is published by
Cambridge University
Press and is edited by:
- Franz Baader, RWTH Aachen, Germany
- Diego Calvanese, Dip. Informatica e Sistemistica, Univ. "La
Sapienza", Roma, Italy
- Deborah McGuinness, Knowledge System Laboratory, Stanford
University, CA, USA
- Daniele Nardi, Dip. Informatica e Sistemistica, Univ. "La
Sapienza", Roma, Italy
- Peter Patel Schneider, AT&T Labs. Research, Florham Park,
NJ, USA