Towards Property-Based Classification of Clustering Paradigms