fix imports in protege4