Difference between revisions of "Tutorials and Classes"
Jump to navigation
Jump to search
m |
m |
||
| Line 15: | Line 15: | ||
Fabian Neuhaus: Reasoning with First Order Logic | Fabian Neuhaus: Reasoning with First Order Logic | ||
| + | |||
Colin Batchelor: An Introduction to Chemistry Ontology | Colin Batchelor: An Introduction to Chemistry Ontology | ||
| − | Reasoning with OWL | + | |
| + | ::???: Reasoning with OWL | ||
::???: Protege | ::???: Protege | ||
Revision as of 09:08, 13 September 2008
co-located with the International Conference on Biomedical Ontology, July 24-26, 2009
Two-Day Classes
July 20-21 Neil Williams: The Ontology of Powers and Dispositions David Hershenov: Metaphysics and Biomedical Ethics Thomas Bittner and Maureen Donnelly: Spatial Ontology and Qualitative Reasoning
July 22-23 Olivier Bodenreider (National Library of Medicine): An Introduction to Biomedical Ontology Barry Smith (Buffalo) and Alan Ruttenberg (Science Commons): From Basic Formal Ontology to the Information Artifact Ontology
2. Half-Day Tutorials
Fabian Neuhaus: Reasoning with First Order Logic
Colin Batchelor: An Introduction to Chemistry Ontology
- ???: Reasoning with OWL
- ???: Protege
- ???: OBOEdit
- ???: PATO
- ???: Curating with OBO Foundry Ontologies
- ???: What Gene Ontology Curators Do
- ???: The Environment Ontology
- ???: Cross-Products
- ???: Ontology and Text-Mining