The Description Logic Handbook: Theory, Implementation, and Applications

2007.

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. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique resource for the subject, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.

@book{DLHB-2007-ed,
   title = "The Description Logic Handbook:  Theory, Implementation, and
Applications",
   year = "2007",
   editor = "Franz Baader and Diego Calvanese and Deborah McGuinness and
Daniele Nardi and Peter F. Patel-Schneider",
   publisher = "Cambridge University Press",
}