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

• Fabian Neuhaus (NIST): Reasoning with First Order Logic (also offered as part of 2-day course on Spatial Ontology and Qualitative Reasoning) (Morning)

• Mathias Brochhausen (IFOMIS): The Ontology of Paleobiology (Afternoon)

July 21

• Colin Batchelor (Royal Society of Chemistry): An Introduction to Chemistry Ontology (Morning)

July 22

• Barry Smith (Buffalo): Introduction to Basic Formal Ontology (also offered as part of 2-day course From Basic Formal Ontology to the Information Artifact Ontology)(Morning)
• Olivier Bodenreider (National Library of Medicine): An Introduction to Biomedical Ontology (Afternoon)

July 23

• Ontology development tools
  • The Protégé Ontology Editor and Knowledge Acquisition System (Morning)
  • The OBO-Edit Ontology Developer's Environment (Afternoon)

---

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