A Formal Approach to Qualitative Reasoning on Topological Properties of Networks