TY - BOOK ID - 11496989 TI - The description logic handbook : theory, implementation, and applications. AU - Baader, Franz AU - Calvanese, Diego AU - Mcguinness, Deborah L. AU - Nardi, Daniele AU - Patel-Schneider, Peter PY - 2008 SN - 9780521876254 9780511711787 9780521150118 0521876257 0521150116 PB - Cambridge Cambridge University Press DB - UniCat KW - 681.3*F4 KW - 681.3*H1 KW - 681.3*I23 KW - Description logics KW - Logics, Description KW - Knowledge representation (Information theory) KW - Predicate (Logic) KW - Mathematical logic and formal languages (Theory of computation) KW - Models and principles (Information systems) KW - Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) KW - 681.3*H1 Models and principles (Information systems) KW - 681.3*F4 Mathematical logic and formal languages (Theory of computation) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) KW - Logiques de description KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Description logics - Handbooks, manuals, etc. UR - https://www.unicat.be/uniCat?func=search&query=sysid:11496989 AB - 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 reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses. ER -