The Description Logic Handbook
Theory, Implementation and Applications
Published on 9. January 2003
Book
Hardback
574 pages
978-0-521-78176-3 (ISBN)
Description
Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. They 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. The chapters are written by some of the most prominent researchers in the field, introducing the basic technical material before taking the reader to the current state of the subject, and including comprehensive guides to the literature. 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.
Reviews / Votes
'Until now, it has been difficult to locate a single text that covers enough of this field to serve as a thorough introduction to it. This handbook is an attempt to fill this gap, and it does so admirably ... The book would serve well as a foundation text for a graduate course in description logic, when supplemented with selected research papers. The Production qualities are excellent; this book will be easy to read and refer to ... a needed and well-executed reference work ... an excellent book.' Computing ReviewsMore details
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Illustrations
14 Tables, unspecified
Dimensions
Height: 255 mm
Width: 179 mm
Thickness: 35 mm
Weight
1265 gr
ISBN-13
978-0-521-78176-3 (9780521781763)
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
New editions
Franz Baader | Diego Calvanese | Deborah L. McGuinness
The Description Logic Handbook
Theory, Implementation and Applications
Book
05/2010
2nd Edition
Cambridge University Press
€83.00
Shipment within 15-20 days
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
Additional editions
Franz Baader | Diego Calvanese | Deborah McGuinness
The Description Logic Handbook
Theory, Implementation and Applications
E-Book
12/2004
1st Edition
Cambridge University Press
€100.99
Available for download
Persons
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. Digital libraries and web-based information systems I. Horrocks, 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.