Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. T

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). Th

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in