[Project] Monty [Type] Pilot study [Description] 
The Manchester Curated Ontology Library aims to provide a collection of ontologies annotated with a number of metrics and properties including, for example, expressivity, size and satisfiability.