Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations. - Matthias Hengel; Stefan Wölfl 001; Bernhard Nebel (Description Logics, 2016)