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: