Introduction to Description Logicby Franz Baader, Carsten Lutz, Uli SattlerLogicWriting a summary for young readers…For young readersBook data: Open Library