ignore protege catalog