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 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 Basic Formal Ontology to the Information Artifact Ontology

July 23: Morning

• 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