Difference between revisions of "Tutorials and Classes"
m |
m |
||
Line 13: | Line 13: | ||
* Colin Batchelor (Royal Society of Chemistry): [[An Introduction to Chemistry Ontology]] | * Colin Batchelor (Royal Society of Chemistry): [[An Introduction to Chemistry Ontology]] | ||
+ | '''July 21''' | ||
* Ontology development tools | * Ontology development tools | ||
− | ** The Protégé Ontology Editor and Knowledge Acquisition System | + | ** The Protégé Ontology Editor and Knowledge Acquisition System (Morning) |
− | ** The OBO-Edit Ontology Developer's Environment | + | ** The OBO-Edit Ontology Developer's Environment (Afternoon) |
− | '''July | + | '''July 20''' |
− | |||
− | |||
+ | Fabian Neuhaus (NIST): Reasoning with First Order Logic (also offered as part of 2-day course on [[Bittner and Donnelly | Spatial Ontology and Qualitative Reasoning]]). (Morning) | ||
---- | ---- | ||
Line 28: | Line 28: | ||
Randall Dipert and Neil Williams (Buffalo): [[The Ontology of Events, Powers and Dispositions]] | Randall Dipert and Neil Williams (Buffalo): [[The Ontology of Events, Powers and Dispositions]] | ||
− | |||
− | |||
Thomas Bittner and Maureen Donnelly (Buffalo): [[Bittner and Donnelly | Spatial Ontology and Qualitative Reasoning]] | Thomas Bittner and Maureen Donnelly (Buffalo): [[Bittner and Donnelly | Spatial Ontology and Qualitative Reasoning]] | ||
Line 38: | Line 36: | ||
Werner Ceusters (Buffalo), Barry Smith (Buffalo) and Alan Ruttenberg (Science Commons): [[From BFO to IAO | From Basic Formal Ontology to the Information Artifact Ontology]] | Werner Ceusters (Buffalo), Barry Smith (Buffalo) and Alan Ruttenberg (Science Commons): [[From BFO to IAO | From Basic Formal Ontology to the Information Artifact Ontology]] | ||
+ | |||
+ | David Hershenov (Buffalo): [[Metaphysical Foundations of Biomedical Ethics]] |
Revision as of 05:17, 4 November 2008
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
Mathias Brochhausen (IFOMIS): The Ontology of Paleobiology
July 21
- Colin Batchelor (Royal Society of Chemistry): An Introduction to Chemistry Ontology
July 21
- Ontology development tools
- The Protégé Ontology Editor and Knowledge Acquisition System (Morning)
- The OBO-Edit Ontology Developer's Environment (Afternoon)
July 20
Fabian Neuhaus (NIST): Reasoning with First Order Logic (also offered as part of 2-day course on Spatial Ontology and Qualitative Reasoning). (Morning)
Two-Day Classes
July 20-21
Randall Dipert and Neil Williams (Buffalo): The Ontology of Events, Powers and Dispositions
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
David Hershenov (Buffalo): Metaphysical Foundations of Biomedical Ethics