Tutorials and Classes

Tutorials and classes co-located with the International Conference on Biomedical Ontology, July 24-26, 2009

Half-Day Tutorials

Fabian Neuhaus: Reasoning with First Order Logic

Colin Batchelor: An Introduction to Chemistry Ontology

The Protégé Ontology Editor and Knowledge Acquisition System

Mathias Brochhausen: The Ontology of Paleobiology

Two-Day Classes

July 20-21

Neil Williams: The Ontology of Powers and Dispositions

David Hershenov: Metaphysics and Biomedical Ethics

Thomas Bittner and Maureen Donnelly: Spatial Ontology and Qualitative Reasoning

July 22-23

Olivier Bodenreider (National Library of Medicine): An Introduction to Biomedical Ontology

Werner Ceusters (Buffalo), Barry Smith (Buffalo) and Alan Ruttenberg (Science Commons): From Basic Formal Ontology to the Information Artifact Ontology