TY  - BOOK
AU  - Baader,Franz
TI  - The description logic handbook: theory, implementation, and applications 
SN  - 9780521150118 (pbk.) :
PY  - 2007///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Description logics
KW  - Handbooks, manuals, etc
KW  - Knowledge representation (information theory)
N1  - Includes bibliographical references (p. 537-591) and index
ER  -