Difference between revisions of "Tutorials and Classes"
m |
m |
||
| Line 10: | Line 10: | ||
'''July 21''' | '''July 21''' | ||
| − | |||
| − | |||
Colin Batchelor (Royal Society of Chemistry): [[An Introduction to Chemistry Ontology]] | Colin Batchelor (Royal Society of Chemistry): [[An Introduction to Chemistry Ontology]] | ||
The Protégé Ontology Editor and Knowledge Acquisition System | The Protégé Ontology Editor and Knowledge Acquisition System | ||
| + | |||
| + | '''July 22''' | ||
| + | |||
| + | Fabian Neuhaus (NIST): Reasoning with First Order Logic | ||
---- | ---- | ||
Revision as of 05:02, 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
Colin Batchelor (Royal Society of Chemistry): An Introduction to Chemistry Ontology
The Protégé Ontology Editor and Knowledge Acquisition System
July 22
Fabian Neuhaus (NIST): Reasoning with First Order Logic
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