TY  - GEN
AU  - Baader, Franz
AU  - Baader,Franz
TI  - The description logic handbook: theory, implementation and applications: theory, implementation and applications
SN  - 9780521876254
U1  - 006.332 
PY  - 2007///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Description logics
ER  -