Difference between revisions of "Tutorials and Classes"
m |
m |
||
Line 7: | Line 7: | ||
'''July 20''' | '''July 20''' | ||
− | Mathias Brochhausen (IFOMIS): [[The Ontology of Paleobiology]] | + | '''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) | ||
+ | |||
+ | *Mathias Brochhausen (IFOMIS): [[The Ontology of Paleobiology]] (afternoon) | ||
'''July 21''' | '''July 21''' | ||
Line 18: | Line 22: | ||
** The OBO-Edit Ontology Developer's Environment (Afternoon) | ** The OBO-Edit Ontology Developer's Environment (Afternoon) | ||
− | |||
− | |||
---- | ---- | ||
Line 29: | Line 31: | ||
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 | + | Thomas Bittner, Maureen Donnelly and Fabian Neuhaus (Buffalo): [[Bittner and Donnelly | Spatial Ontology and Qualitative Reasoning]] |
'''July 22-23''' | '''July 22-23''' |
Revision as of 05:20, 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