protege catalog file update