Let users search for ontologies by symbol name in repositories