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