Difference between revisions of "Buffalo Ontology Summer School"
Jump to navigation
Jump to search
m |
m |
||
| Line 18: | Line 18: | ||
2. half-day Tutorials (proposals) | 2. half-day Tutorials (proposals) | ||
| + | |||
| + | July 13 or July 20 | ||
::Fabian Neuhaus: Reasoning with First Order Logic | ::Fabian Neuhaus: Reasoning with First Order Logic | ||
| − | ::???: Reasoning with OWL | + | ::Colin Batchelor???: An Introduction to Chemistry Ontology |
| + | :: Reasoning with OWL | ||
::???: Protege | ::???: Protege | ||
::???: OBOEdit | ::???: OBOEdit | ||
Latest revision as of 11:06, 5 August 2008
Tentative dates: either July 13-16, 2009 or July 20-23, 2009 (co-located with the International Conference on Biomedical Ontology, tentatively scheduled for July 17-20, 2009)
The Buffalo Ontology Summer School will comprise two types of events:
1. 2-day Classes
- July 13-14 / 20-21 (proposals)
- Neil Williams: The Ontology of Powers and Dispositions
- David Hershenov: Metaphysics and Bioethics
- Thomas Bittner and Maureen Donnelly: Spatial Ontology and Qualitative Reasoning
- July 15-16 / 22-23
- Barry Smith (Buffalo) and Alan Ruttenberg (Science Commons): From Basic Formal Ontology to the Information Artifact Ontology
- Olivier Bodenreider (National Library of Medicine): An Introduction to Biomedical Ontology
2. half-day Tutorials (proposals)
July 13 or July 20
- 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
- ???: Chemical Ontology
- ???: The Environment Ontology
- ???: Cross-Products
- ???: Ontology and Text-Mining (Hunter?)