Loading annotation for protege.dev