Baader, Franz An Introduction To Description Logic Franz Baader , Ian Horrocks , Carsten Lutz , Uli Sattler - 1 - Cambridge 2017 - 260 ISBN: 9780521695428 Subjects--Topical Terms: Computer Science Dewey Class. No.: 006.332 / BAA