The description logic handbook : theory, implementation, and applications /
Baader, Franz.
Cambridge : Cambridge University Press,
2007.
Previous ed.: 2003.
Includes bibliographical references and index.
Knowledge representation (Information theory)