Formal Models of Knowledge Diversity