The Description Logic Handbook
Theory, Implementation and Applications
2nd Edition
Published on 20. May 2010
Book
Paperback/Softback
624 pages
978-0-521-15011-8 (ISBN)
Description
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, 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.
Reviews / Votes
'... well written and has a good structure ... It provides an excellent overview on the subject and shows the various aspects of description logic in their respective contexts with many pointers for further reading.' Thomas Studer, Zentralblatt MATH '... this book is a valuable resource for any scientist or institution working in areas related to applications implementation. As an anthology of essays written by top scholars in the field, it is generally very well put together.' Computing Reviews (reviews.com)More details
Edition
2nd Revised edition
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Edition type
Revised edition
Product notice
Paperback (trade)
Illustrations
Worked examples or Exercises; 14 Tables, black and white; 44 Line drawings, black and white
Dimensions
Height: 247 mm
Width: 174 mm
Thickness: 37 mm
Weight
1077 gr
ISBN-13
978-0-521-15011-8 (9780521150118)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Franz Baader | Diego Calvanese | Deborah L. McGuinness
The Description Logic Handbook
Theory, Implementation and Applications
E-Book
04/2010
2nd Edition
Cambridge University Press
€67.99
Available for download
Franz Baader | Diego Calvanese | Deborah L. McGuinness
The Description Logic Handbook
Theory, Implementation and Applications
Book
08/2007
2nd Edition
Cambridge University Press
€110.18
Article exhausted; check for reprint
Previous edition
Franz Baader | Diego Calvanese | Deborah L. McGuinness
The Description Logic Handbook
Theory, Implementation and Applications
Book
08/2007
2nd Edition
Cambridge University Press
€110.18
Article exhausted; check for reprint
Persons
Franz Baader is a Professor in the Institute of Theoretical Computer Science at TU Dresden. Diego Calvanese is Associate Professor in the Faculty of Computer Science at the Free University of Bozen-Bolzano, Italy. Deborah L. McGuinness is Tetherless World Senior Constellation Professor in the Department of Computer Science at the Rensselaer Polytechnic Institute (RPI), New York. Daniele Nardi is Professor of Artificial Intelligence in the Department of Informatics at Universita degli Studi di Roma 'La Sapienza', Italy. Peter F. Patel-Schneider is a member of technical staff in the Computing and Software Principles Research Department of the Enabling Computing Technologies Domain at Bell Labs in Murray Hill, NJ, USA.
Content
1. An introduction to description logics D. Nardi and R. J. Brachman; Part I. Theory: 2. Basic description logics F. Baader and W. Nutt; 3. Complexity of reasoning F. M. Donini; 4. Relationships with other formalisms U. Sattler, D. Calvanese and R. Molitor; 5. Expressive description logics D. Calvanese and G. De Giacomo; 6. Extensions to description logics F. Baader, R. Kuesters and F. Wolter; Part II. Implementation: 7. From description logic provers to knowledge representation systems D. L. McGuinness and P. F. Patel-Schneider; 8. Description logics systems R. Moeller and V. Haarslev; 9. Implementation and optimisation techniques I. Horrocks; Part III. Applications: 10. Conceptual modeling with description logics A. Borgida and R. J. Brachman; 11. Software engineering C. Welty; 12. Configuration D. L. McGuinness; 13. Medical informatics A. Rector; 14. Ontology languages for the semantic web I. Horrocks, P. F. Patel-Schneider, D. L. McGuinness and C. Welty; 15. Natural language processing E. Franconi; 16. Description logics for data bases A. Borgida, M. Lenzerini and R. Rosati; Appendix. Description logic terminology F. Baader; Bibliography.