Add `release_annotate_inferred_axioms`

INCATools / ontology-development-kit

Bootstrap an OBO Library ontology

BSD 3-Clause "New" or "Revised" License

212 stars 53 forks source link

Closed matentzn closed 4 months ago

matentzn commented 4 months ago

Fixes #647

This PR

adds a new option release_annotate_inferred_axioms which is false by default
is added to all places that is covered by release_use_reasoner (which are three)
Added a test