LDK R Logics for Data and Knowledge Representation Exercise 3: DLs.
L ogics for D ata and K nowledge R epresentation