The description logic handbook theory, implementation, and applications (Cambridge University Press, 2003)
Includes bibliographical references (pages 496-545) and index