OBO-Edit: References/Teaching Resources
1. 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:
'Building Maintainable, interconnected anatomy ontologies' David Osumi-Sutherland, FlyBase. This poster was presented at 3rd International Boicuration Conference in Berlin, April 2009.
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.