Concrete-domain Reasoning Techniques in Knowledge Cartography