Difference between revisions of "From BFO to IAO"

Revision as of 04:24, 4 October 2008

From Basic Formal Ontology to the Information Artifact Ontology

July 22-23, 2009

Two-day Course organized in conjunction with the International Conference on Biomedical Ontology

This course will provide an introduction to two ontologies at the heart of the work of the Open Biomedical Ontologies (OBO) Foundry initiative.

Literature

Faculty

@@ Line 1: / Line 1: @@
- From Basic Formal Ontology to the Information Artifact Ontology
+'''From Basic Formal Ontology to the Information Artifact Ontology'''
-'''Spatial Ontology and Qualitative Reasoning'''
+July 22-23, 2009
-July 20-21, 2009
 Two-day Course organized in conjunction with the [http://icbo.buffalo.edu International Conference on Biomedical Ontology]
-This course will provide an introduction to a variety of theories developed for representing and reasoning about spatial relations among entities in the worldand. it will provide students with the tools for developing their own spatial ontologies. Theories treated will include:
+This course will provide an introduction to two ontologies at the heart of the work of the Open Biomedical Ontologies (OBO) Foundry initiative.
-:i) mereotopologies (theories of parthood and connection relations),
-:ii) theories of ordering relations,
-:iii) theories of distance relations.
-We will examine also more complex spatial theories which introduce topics such as granularity, change in spatial relations over time, and spatial relations among classes of individuals.
 ----
 '''Literature'''
-P. M. Simons, ''Parts: A Study in Ontology'', Oxford: Clarendon Press, 1987.
-R. Casati and A. Varzi, ''Parts and Places: The Structures of Spatial Representation'', Cambridge, MA: MIT Press, 1999.
 ----
 '''Faculty'''
-[http://www.buffalo.edu/~bittner3 Thomas Bittner] is Assistant Professor in the Departments of Philosophy and Geography at the State University of New York at Buffalo. He is also Research Scientist in the New York State Center of Excellence in Bioinformatics and Life Sciences. His research is in the area of formal ontology and its applications in bioinformatics, geography, and geographic information science.  His current research focuses on the application of formal ontology, symbolic logic, and qualitative representation and reasoning techniques (a) to represent canonical biomedical structures in biomedical ontologies, (b) to detect pathological structures in medical image analysis, and (c) to develop axiomatic theories of biomedical structures and processes across different levels of granularity.
-[http://www.buffalo.edu/~md63 Maureen Donnelly] is Assistant Professor in the Department of Philosophy at the State University of New York at Buffalo. Her research interests include metaphysics, formal ontology, qualitative spatial, temporal, and spatio-temporal reasoning, and bioinformatics.

Difference between revisions of "From BFO to IAO"

Revision as of 04:24, 4 October 2008

Navigation menu

Search