Tutorials and Classes
This is a draft schedule of tutorials and classes to be co-located with the International Conference on Biomedical Ontology, July 24-26, 2009
Half-Day Tutorials
July 20: Morning
- Fabian Neuhaus (NIST): Reasoning with First Order Logic; also offered as part of 2-day course on Spatial Ontology and Qualitative Reasoning
July 20: Afternoon
- Mathias Brochhausen (IFOMIS): The Ontology of Paleobiology
July 21: Morning
- Colin Batchelor (Royal Society of Chemistry): An Introduction to Chemistry Ontology
July 21: Afternoon
- Possible excursion to Niagara Falls
July 22: Morning
- Barry Smith (Buffalo): Introduction to Basic Formal Ontology; also offered as part of 2-day course [[From BFO to IAO | From Basic Formal Ontology to the Information Artifact Ontology]
July 22: Afternoon
- Olivier Bodenreider (National Library of Medicine): An Introduction to Biomedical Ontology
- Werner Ceusters (Buffalo): Introduction to Referent Tracking: also offered as part of 2-day course [[From BFO to IAO | From Basic Formal Ontology to the Information Artifact Ontology]
July 23: Morning
- Ontology development tools
- The Protégé Ontology Editor and Knowledge Acquisition System
July 23: Afternoon
- The OBO-Edit Ontology Developer's Environment
Two-Day Classes
July 20-21
Randall Dipert and Neil Williams (Buffalo): The Ontology of Events, Powers and Dispositions
Thomas Bittner, Maureen Donnelly and Fabian Neuhaus (Buffalo): Spatial Ontology and Qualitative Reasoning
July 22-23
Werner Ceusters (Buffalo), Alan Ruttenberg (Science Commons) and Barry Smith (Buffalo): From Basic Formal Ontology to the Information Artifact Ontology
David Hershenov (Buffalo): Metaphysical Foundations of Biomedical Ethics