use two progress monitors (dummy and normal) in OWL API to avoid
problems with Protege