TY  - BOOK
AU  - Baader, Franz
TI  - The description logic handbook: theory, implementation and applications. -- 2nd ed
SN  - 9780521876254
AV  - BC 71 Des 
PY  - 2003///
CY  - Cambridge
PB  - Cambridge University Press
KW  - SCIENCE
KW  - fast
KW  - DESCRIPTION LOGICS--HANDBOOKS, MANUALS
ER  -