OBO-Edit: References/Teaching Resources
Posters
The following poster shows examples of using using necessary and sufficient definitions, AKA intersections, to compute an is_a hierarchy using the OBO-Edit reasoner:
The poster uses figures generated using the OBO-Edit graph editor, but doesn't provide any details of how OBO-Edit was used to generate cross-product definitions, or to render the graphs shown in the figures. This is covered in the additional information posted here.