TY  - BOOK
AU  - Baader,Franz
TI  - The description logic handbook: theory, implementation, and applications 
SN  - 9780521876254
AV  - Q387.3 .D47 2007
U1  - 006.3/32 22
PY  - 2007///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Description logics
KW  - Handbooks, manuals, etc
N1  - Includes bibliographical references (p. 537-591) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0808/2008270159-b.html
UR  - http://www.loc.gov/catdir/enhancements/fy0808/2008270159-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0808/2008270159-t.html
ER  -