The description logic handbook : theory, implementation, and applications /
Baader, Franz.
Cambridge : Cambridge University Press,
2003.
Includes bibliographical references and index.
Description logics