TY - BOOK AU - BAADER,Franz TI - The Description Logic Handbook SN - 9780521781763 AV - 006.3 U1 - 006.3 22 PY - 2003/// CY - cambridge KW - The Description Logic Handbook N1 - index ER -