The description logic handbook theory implementation, and applications

• Other Authors: Baader, Franz (Editor), Calvanese, Diego (Editor), McGuinness, Deborah (Editor), Nardi, Daniele (Editor), Patel - Schneider, Peter F. (Editor)
• Format: Book
• Language: English
• Published: Cambridge Cambridge University Press 2007
• Edition: 2nd edition
• Subjects: Λογική > Πληροφορική
• Physical Description: xix, 601 p. ill. 26 cm.
• Bibliography: Includes bibliography and indexes
• ISBN: 9780521876254