BittnerDonnelly - Revision history

Phismith at 11:11, 4 October 2008

2008-10-04T11:11:42Z

Phismith at 11:10, 4 October 2008

2008-10-04T11:10:58Z

Phismith at 11:07, 4 October 2008

2008-10-04T11:07:21Z

Phismith at 11:05, 4 October 2008

2008-10-04T11:05:30Z

Phismith: New page: July 20-21, 2009 Two-day Course '''Spatial Ontology and Qualitative Reasoning''' This course will provide an introduction to a variety of theories developed for representing and reasonin...

2008-10-04T10:58:59Z

New page: July 20-21, 2009 Two-day Course '''Spatial Ontology and Qualitative Reasoning''' This course will provide an introduction to a variety of theories developed for representing and reasonin...

New page

July 20-21, 2009

Two-day Course

'''Spatial Ontology and Qualitative Reasoning'''
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:
: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'''
The websites of Thomas Bittner (http://www.buffalo.edu/~bittner3), Maureen Donnelly (http://www.buffalo.edu/~md63), Barry Smith (http://ontology.buffalo.edu/), and the Leeds Qualitative Spatial Reasoning Group (http://www.comp.leeds.ac.uk/qsr/publications.html) are good sources of literature on spatial theories. In addition, the following contain material appropriate for this class:
P. Simons Parts: A Study in Ontology
R. Casati and A. Varzi Parts and Places
A. N. Whitehead Process and Reality
D. Hilbert The Foundations of Geometry
Interesting spatial theories which are appropriate for this class can also be found in the papers of Theodore de Laguna, E. V. Huntington, Alfred Tarski, Giangiacomo Gerla, Andrew Frank, Laure Vieu, Carola Eschenbach, and Hedda Schmitdke.

Thomas Bittner

Thomas Bittner is Assistant Professor in the Departments of Philosophy and Geography at the State University of New York at Buffalo. At the same time he is Research Scientist in the New York State Center of Excellence in Bioinformatics and Life Sciences and the National Center of Geographic Information and Analysis (NCGIA).
Dr. Bittner received his Ph.D. from the Technical University Vienna and has been a postdoctoral researcher at Northwestern University and at Queen’s University (Canada). Before joining the SUNY Buffalo he was a senior researcher at the Institute for Formal Ontology and Medical Information Science (IFOMIS) at Saarland University in Germany.
Dr. Bittner’s area of specialization is formal ontology and its applications in bio-informatics, 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.

@@ Line 4: / Line 4: @@
 Two-day Course organized as part of the Buffalo Ontology Week
 '''Faculty: Thomas Bittner and Maureen Donnelly'''
 :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'''
@@ Line 18: / Line 23: @@
 R. Casati and A. Varzi, ''Parts and Places: The Structures of Spatial Representation'', Cambridge, MA: MIT Press, 1999.
 [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.

@@ Line 1: / Line 1: @@
 July 20-21, 2009
 Two-day Course organized as part of the Buffalo Ontology Week
@@ Line 18: / Line 19: @@
 R. Casati and A. Varzi, ''Parts and Places: The Structures of Spatial Representation'', Cambridge, MA: MIT Press, 1999.
-'''[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 and in the National Center of Geographic Information and Analysis (NCGIA).
+[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.
+[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.

@@ Line 1: / Line 1: @@
 '''Spatial Ontology and Qualitative Reasoning'''
@@ Line 5: / Line 4: @@
 Two-day Course organized as part of the Buffalo Ontology Week
-'''Faculty: [http://www.buffalo.edu/~bittner3 Thomas Bittner] and [http://www.buffalo.edu/~md63 Maureen Donnelly]'''
+'''Faculty: Thomas Bittner and Maureen Donnelly'''
 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:
 :i) mereotopologies (theories of parthood and connection relations),
@@ Line 13: / Line 13: @@
 '''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.
-'''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 and in the National Center of Geographic Information and Analysis (NCGIA).
+'''[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 and in the National Center of Geographic Information and Analysis (NCGIA).
 Dr. Bittner received his Ph.D. from the Technical University Vienna and has been a postdoctoral researcher at Northwestern University and at Queen’s University (Canada). Before joining the SUNY Buffalo he was a senior researcher at the Institute for Formal Ontology and Medical Information Science (IFOMIS) at Saarland University in Germany.
 Dr. Bittner’s area of specialization is formal ontology and its applications in bio-informatics, 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.