The description logic handbook : theory, implementation, and applications (2nd ed)

Description Logics are embodied in several knowledge-based systems and are used to develop various real-life applications.

The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications.

Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics.

For the new edition, apart from updates throughout the book, the main change is the addition of a new chapter on ontology languages for the semantic web, an area of great importance for the future developement of the web.

In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses.