zbMATH — the first resource for mathematics

The description logic handbook. Theory, implementation, and applications. (English) Zbl 1058.68107
Cambridge: Cambridge University Press (ISBN 0-521-78176-0/hbk). xvii, 555 p. (2003).
Publisher’s 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.
Contents: 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.
The articles of this volume will not be indexed individually.

68T30 Knowledge representation
68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science
03B45 Modal logic (including the logic of norms)
68T27 Logic in artificial intelligence
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence