Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki: The Knowledge Cartography - A New Approach to Reasoning over Description Logics Ontologies. SOFSEM 2006: 293-302