L ogics for D ata and K nowledge R epresentation
Logics for Data and Knowledge Representation
LDK R Logics for Data and Knowledge Representation ClassL (part 2): Reasoning with a TBox 1.