Difference between revisions of "Tutorials and Classes"

From NCBO Wiki
Jump to navigation Jump to search
m
Line 6: Line 6:
 
'''July 20: Morning'''
 
'''July 20: Morning'''
  
*Fabian Neuhaus (NIST): Reasoning with First Order Logic; also offered as part of 2-day class on [http://www.bioontology.org/wiki/index.php/Bittner_and_Donnelly Spatial Ontology and Qualitative Reasoning]
+
*Fabian Neuhaus (NIST): Formal Methods for Biologists; also offered as part of 2-day class on [http://www.bioontology.org/wiki/index.php/Bittner_and_Donnelly Spatial Ontology and Qualitative Reasoning]
  
 
'''July 20: Afternoon'''
 
'''July 20: Afternoon'''
Line 36: Line 36:
 
* The OBO-Edit Ontology Developer's Environment  
 
* The OBO-Edit Ontology Developer's Environment  
 
----
 
----
 +
 
== Two-Day Classes ==
 
== Two-Day Classes ==
  

Revision as of 08:57, 9 November 2008

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: Morning

July 20: Afternoon

July 21: Morning

July 21: Afternoon

July 22: Morning

July 22: Afternoon

July 23: Morning

  • The Protégé Ontology Editor and Knowledge Acquisition System

July 23: Afternoon

  • The OBO-Edit Ontology Developer's Environment

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

Werner Ceusters (Buffalo), Alan Ruttenberg (Science Commons) and Barry Smith (Buffalo): From Basic Formal Ontology to the Information Artifact Ontology

David Hershenov (Buffalo): Metaphysical Foundations of Biomedical Ethics