Difference between revisions of "Tutorials and Classes"
m |
m |
||
| Line 5: | Line 5: | ||
Fabian Neuhaus (NIST): Reasoning with First Order Logic | Fabian Neuhaus (NIST): Reasoning with First Order Logic | ||
| − | 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 | ||
Revision as of 07:39, 19 October 2008
Tutorials and classes co-located with the International Conference on Biomedical Ontology, July 24-26, 2009
Half-Day Tutorials
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
Mathias Brochhausen (IFOMIS): The Ontology of Paleobiology
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