TY - BOOK AU - Baader, Franz. Ed. AU - Calvanese, Diego. Ed. AU - McGuinness, Deborah. et all.ed TI - The Description Logic Handbook: Theory, Implementation and Applications SN - 0-521-78176-0 CY - UK KW - Description logics - Handbooks, manuals, etc ER -