Skip to content

Issues: ontodev/robot

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Filter by author
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Filter by project
Filter by milestone
Filter by who’s assigned

Issues list

explain multiple entailed axioms
#1153 opened Sep 29, 2023 by cmungall
Could not parse ontology
#1150 opened Sep 19, 2023 by xyuhuang
ROBOT release 1.9.5
#1143 opened Aug 24, 2023 by matentzn
invalid xref check is too strict
#1127 opened Jun 29, 2023 by balhoff
individual as object
#1118 opened May 11, 2023 by luisramosbosch
Losing information when merging
#1115 opened Apr 26, 2023 by luisramosbosch
CLI & docs: robot convert --format
#1114 opened Apr 25, 2023 by joeflack4
3 tasks
Weird query evaluation behaviour
#1112 opened Apr 20, 2023 by psiotwo
issues creating individuals
#1110 opened Apr 18, 2023 by luisramosbosch
ProTip! Updated in the last three days: updated:>2023-09-26.