This site contains a list of ontologies harvested from myriad sources and annotated with a number of attributes such as expressivity, size and satisfiability.