The description logic handbook : theory, implementation, and applications - Baader, Franz (Cambridge : Cambridge University Press, 2007)
Includes bibliographical references (p. 537-591) and index
Keywords: Description logics -- Handbooks, manuals, etc; Knowledge representation (information theory)