A repository of ontologies