Cambridge Catalog  
  • Your account
  • View basket
  • Help
Home > Catalog > The Description Logic Handbook
The Description Logic Handbook
Google Book Search

Search this book



  • 14 tables
  • Page extent: 574 pages
  • Size: 247 x 174 mm
  • Weight: 1.265 kg

Library of Congress

  • Dewey number: 006.3/32
  • Dewey version: 21
  • LC Classification: Q387.3 .D47 2003
  • LC Subject headings:
    • Description logics--Handbooks, manuals, etc

Library of Congress Record


 (ISBN-13: 9780521781763 | ISBN-10: 0521781760)

Replaced by 9780521876254


Description Logics are knowledge representation languages that have been studied extensively in artificial intelligence over the last two decades. This Handbook covers all aspects of research in this field; including theory, implementation, and applications. Its appeal is 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 by some of the most prominent researchers in the field first introduce the basic technical material before addressing the current state of the subject. This unique reference can also be used for self-study or in conjunction with knowledge representation and artificial intelligence courses.


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. Küsters 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. Möller 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.


D. Nardi, R. J. Brachman, F. Baader, W. Nutt, F. M. Donini, U. Sattler, D. Calvanese, R. Mölitor, G. De Giacomo, R. Küsters, F. Wolter, D. L. McGuinness, P. F. Patel-Schneider, R. Möller, V. Haarslev, I. Horrocks, A. Borgida, C. Welty, A. Rector, E. Franconi, M. Lenzerini, R. Rosati

printer iconPrinter friendly version AddThis