OBO-Edit: References/Teaching Resources: Difference between revisions

From GO Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
 
(5 intermediate revisions by 2 users not shown)
Line 1: Line 1:
[[Category:OBO-Edit]]
== Presentations ==
==== ICBO, Buffalo, NY ====
1. [http://www.bioontology.org/wiki/images/0/0f/OE2-tutorial.ppt OBO-Edit2 Tutorial presented at ICBO 2009 in Buffalo]<br>
David Osumi-Sutherland, FlyBase<br>
Outlines theory of OBO relations and how they relate to definitions: specifying necessary vs necessary and sufficient conditions for class membership.  Also covers: hidden assertions, redundancy, using terms from foreign ontologies, using the reasoners, reasoner enabled searching, asserting inferred classifications.  The tutorial uses [http://oboedit.org/ICBOtutorialData/tutorial.obo this example ontology].
2. Chris Mungall's slides: [http://go.berkeleybop.org/news4go/node/37 Cross Product Extensions to the Gene Ontology]
== Posters ==
== Posters ==


Line 5: Line 14:
This poster was presented at 3rd International Boicuration Conference in Berlin, April 2009. It includes examples of using using necessary and sufficient definitions, AKA intersections, to compute an is_a hierarchy using the OBO-Edit reasoner and uses figures generated using the OBO-Edit graph editor.  However it doesn't provide any details of how OBO-Edit was used to generate these definitions, or to render the graphs shown in the figures.  This is covered in the additional information [[posted here]].
This poster was presented at 3rd International Boicuration Conference in Berlin, April 2009. It includes examples of using using necessary and sufficient definitions, AKA intersections, to compute an is_a hierarchy using the OBO-Edit reasoner and uses figures generated using the OBO-Edit graph editor.  However it doesn't provide any details of how OBO-Edit was used to generate these definitions, or to render the graphs shown in the figures.  This is covered in the additional information [[posted here]].


2. [[http://www.bioontology.org/wiki/images/0/0f/OE2-tutorial.ppt OBO-Edit2 Tutorial presented at ICBO 2009 in Buffalo]
2. [[Media:ICBO_poster_final.pdf| Poster on the Virtual Fly Brain project presented at ICBO]]<br>
David Osumi-Sutherland, FlyBase<br>
Outlines theory of OBO relations and how they relate to definitions: specifying necessary vs necessary and sufficient conditions for class membership.  Also covers: hidden assertions, redundancy, using terms from foreign ontologies, using the reasoners, reasoner enabled searching, asserting inferred classifications.  The tutorial uses [[ this example ontology]].
 
3. [[Media:ICBO_poster_final.pdf| Poster on the Virtual Fly Brain project presented at ICBO]]<br>
David Osumi-Sutherland, FlyBase<br>
David Osumi-Sutherland, FlyBase<br>
Not very OBO-Edit focused but has examples of formalising class (type) definitions and formal definitions of instance level relations.
Not very OBO-Edit focused but has examples of formalising class (type) definitions and formal definitions of instance level relations.

Latest revision as of 15:31, 30 June 2014

Presentations

ICBO, Buffalo, NY

1. OBO-Edit2 Tutorial presented at ICBO 2009 in Buffalo
David Osumi-Sutherland, FlyBase
Outlines theory of OBO relations and how they relate to definitions: specifying necessary vs necessary and sufficient conditions for class membership. Also covers: hidden assertions, redundancy, using terms from foreign ontologies, using the reasoners, reasoner enabled searching, asserting inferred classifications. The tutorial uses this example ontology.

2. Chris Mungall's slides: Cross Product Extensions to the Gene Ontology

Posters

1. 'Building Maintainable, interconnected anatomy ontologies.'
David Osumi-Sutherland, FlyBase.
This poster was presented at 3rd International Boicuration Conference in Berlin, April 2009. It includes examples of using using necessary and sufficient definitions, AKA intersections, to compute an is_a hierarchy using the OBO-Edit reasoner and uses figures generated using the OBO-Edit graph editor. However it doesn't provide any details of how OBO-Edit was used to generate these definitions, or to render the graphs shown in the figures. This is covered in the additional information posted here.

2. Poster on the Virtual Fly Brain project presented at ICBO
David Osumi-Sutherland, FlyBase
Not very OBO-Edit focused but has examples of formalising class (type) definitions and formal definitions of instance level relations.