Zaslať SMS: Knowledge-based Software Representation, Querying and Visualization