Difference between revisions of "Tutorials and Classes"
m |
m |
||
| Line 9: | Line 9: | ||
'''July 20''' | '''July 20''' | ||
| − | *Fabian Neuhaus (NIST): Reasoning with First Order Logic (also offered as part of 2-day course on [[ | + | *Fabian Neuhaus (NIST): Reasoning with First Order Logic (also offered as part of 2-day course on [[Spatial Ontology and Qualitative Reasoning]]). (Morning) |
*Mathias Brochhausen (IFOMIS): [[The Ontology of Paleobiology]] (afternoon) | *Mathias Brochhausen (IFOMIS): [[The Ontology of Paleobiology]] (afternoon) | ||
Revision as of 05:21, 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
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)
- Mathias Brochhausen (IFOMIS): The Ontology of Paleobiology (afternoon)
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)
Two-Day Classes
July 20-21
Randall Dipert and Neil Williams (Buffalo): The Ontology of Events, Powers and Dispositions
Thomas Bittner, Maureen Donnelly and Fabian Neuhaus (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