Baader, Franz The description logic handbook : theory, implementation, and applications edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness - 2nd ed. - Cambridge ; New York Cambridge University Press 2010 - xix, 601 p. 26 cm BibliografieIndex eng ISBN: 9780521150118 (pbk.) 9780521876254 (hbk.) Subjects--Topical Terms: Description logics LC Class. No.: Q387.3 Dewey Class. No.: 006.332