Difference between revisions of "Tutorials and Classes"
m |
m |
||
| Line 2: | Line 2: | ||
'''Half-Day Tutorials ''' | '''Half-Day Tutorials ''' | ||
| + | |||
| + | '''July 20''' | ||
| + | |||
| + | Mathias Brochhausen (IFOMIS): [[The Ontology of Paleobiology]] | ||
| + | |||
| + | '''July 21''' | ||
Fabian Neuhaus (NIST): Reasoning with First Order Logic | Fabian Neuhaus (NIST): Reasoning with First Order Logic | ||
| Line 8: | Line 14: | ||
The Protégé Ontology Editor and Knowledge Acquisition System | The Protégé Ontology Editor and Knowledge Acquisition System | ||
| − | |||
| − | |||
'''Two-Day Classes''' | '''Two-Day Classes''' | ||
Revision as of 04:53, 20 October 2008
Tutorials and classes co-located with the International Conference on Biomedical Ontology, July 24-26, 2009
Half-Day Tutorials
July 20
Mathias Brochhausen (IFOMIS): The Ontology of Paleobiology
July 21
Fabian Neuhaus (NIST): Reasoning with First Order Logic
Colin Batchelor (Royal Society of Chemistry): An Introduction to Chemistry Ontology
The Protégé Ontology Editor and Knowledge Acquisition System
Two-Day Classes
July 20-21
Randall Dipert and Neil Williams (Buffalo): The Ontology of Powers and Dispositions
David Hershenov (Buffalo): Metaphysics and Biomedical Ethics
Thomas Bittner and Maureen Donnelly (Buffalo): 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