The Description Logic Handbook: Theory, Implementation, and Applications

Front Cover
Franz Baader
Cambridge University Press, 2003 - Computers - 555 pages
1 Review
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.
  

What people are saying - Write a review

Review: The Description Logic Handbook: Theory, Implementation, and Applications

User Review  - TK Keanini - Goodreads

The deal is this: at some point, you need a foundation for your models. If your models have to do with information and nothing but information, then having a solid terminological foundation is ... Read full review

Contents

III
1
IV
4
V
12
VI
16
VII
20
VIII
30
IX
36
X
39
LIII
308
LIV
313
LV
317
LVI
322
LVII
345
LVIII
347
LIX
349
LX
351

XI
41
XII
43
XIII
46
XIV
74
XV
90
XVI
96
XVII
100
XVIII
107
XIX
114
XX
116
XXI
122
XXII
128
XXIII
132
XXIV
133
XXV
137
XXVI
149
XXVII
161
XXVIII
178
XXIX
179
XXX
186
XXXI
193
XXXII
197
XXXIII
201
XXXIV
204
XXXV
209
XXXVI
215
XXXVII
219
XXXVIII
220
XXXIX
250
XL
263
XLI
265
XLII
267
XLIII
270
XLIV
274
XLV
280
XLVI
281
XLVII
282
XLVIII
283
XLIX
291
L
301
LI
303
LII
306
LXI
353
LXII
355
LXIII
358
LXIV
361
LXV
363
LXVI
369
LXVII
370
LXVIII
371
LXIX
373
LXX
374
LXXI
379
LXXII
380
LXXIII
388
LXXIV
390
LXXV
403
LXXVI
404
LXXVII
406
LXXVIII
407
LXXIX
410
LXXX
416
LXXXI
422
LXXXII
424
LXXXIII
426
LXXXIV
427
LXXXV
432
LXXXVI
434
LXXXVII
448
LXXXVIII
450
LXXXIX
451
XC
454
XCI
460
XCII
462
XCIII
465
XCIV
474
XCV
478
XCVI
483
XCVII
485
XCVIII
491
XCIX
494
C
496
CI
547
Copyright

Common terms and phrases

References to this book

All Book Search results »

About the author (2003)

Franz Baader is a Professor in the Institute of Theoretical Computer Science at TU Dresden.

Bibliographic information