The Description Logic Handbook

Theory, Implementation and Applications

Diego Calvanese, Deborah McGuiness, Daniele Nardi, Peter Patel-Schneider, Franz Baader

574 pages, parution le 17/03/2003

Ajouter à une liste

Indisponible

Résumé

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.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Cambridge University Press
Auteur(s)	Diego Calvanese, Deborah McGuiness, Daniele Nardi, Peter Patel-Schneider, Franz Baader
Parution	17/03/2003
Nb. de pages	574
Format	18 x 25,5
Couverture	Broché
Poids	1095g
Intérieur	Noir et Blanc
EAN13	9780521781763
ISBN13	978-0-521-78176-3