Bittner and Donnelly - Revision history

Phismith at 16:31, 9 November 2008

2008-11-09T16:31:37Z

Phismith at 13:21, 4 November 2008

2008-11-04T13:21:54Z

Phismith at 13:19, 4 November 2008

2008-11-04T13:19:17Z

Phismith at 13:18, 4 November 2008

2008-11-04T13:18:10Z

Phismith at 10:14, 6 October 2008

2008-10-06T10:14:28Z

Phismith at 10:13, 6 October 2008

2008-10-06T10:13:13Z

Phismith at 15:14, 4 October 2008

2008-10-04T15:14:25Z

Phismith at 15:01, 4 October 2008

2008-10-04T15:01:07Z

Phismith at 11:15, 4 October 2008

2008-10-04T11:15:49Z

Phismith at 11:15, 4 October 2008

2008-10-04T11:15:13Z

@@ Line 9: / Line 9: @@
 This course will provide an introduction to logical reasoning by Fabian Neuhaus, and to a variety of theories developed for representing and reasoning about spatial relations among entities in the world. it will provide students with the tools for developing their own spatial ontologies. Theories treated will include:
-:i) introduction to logical reasoning (see [[Neuhaus]])
+:i) Formal methods for biologist: an introduction to logical reasoning (see [[Neuhaus]])
-:ii) mereotopologies (theories of parthood and connection relations),
+:ii) Mereotopologies: theories of parthood and connection relations,
-:iii) theories of ordering relations,
+:iii) Theories of ordering and distance relations,
-:iv) theories of distance relations.
+:iv) Applications.
 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.
@@ Line 36: / Line 36: @@
 [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.
-Fabian Neuhaus
+[http://www.acsu.buffalo.edu/~fneuhaus/ Fabian Neuhaus] is a researcher at the Manufacturing Systems Integration Division of the National Institute of Standards and Technology. His research is focused on logic, ontology and their applications.

@@ Line 3: / Line 3: @@
 '''July 20-21, 2009'''
-'''Thomas Bittner, Maureen Donnelly, Fabian Neuhaus'''
+'''Thomas Bittner, Maureen Donnelly and Fabian Neuhaus'''
 Two-day Course organized in conjunction with the [http://icbo.buffalo.edu International Conference on Biomedical Ontology]
@@ Line 9: / Line 9: @@
 This course will provide an introduction to logical reasoning by Fabian Neuhaus, and to a variety of theories developed for representing and reasoning about spatial relations among entities in the world. it will provide students with the tools for developing their own spatial ontologies. Theories treated will include:
-:i) introduction to logical reasoning
+:i) introduction to logical reasoning (see [[Neuhaus]])
 :ii) mereotopologies (theories of parthood and connection relations),

@@ Line 2: / Line 2: @@
 '''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 world. it will provide students with the tools for developing their own spatial ontologies. Theories treated will include:
+This course will provide an introduction to logical reasoning by Fabian Neuhaus, and to a variety of theories developed for representing and reasoning about spatial relations among entities in the world. 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) mereotopologies (theories of parthood and connection relations),
-:ii) theories of ordering relations,
+:iii) theories of ordering relations,
-:iii) theories of distance relations.
+:iv) 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.

← Older revision		Revision as of 13:18, 4 November 2008
Line 31:		Line 31:

	[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.		[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.
		+
		+	Fabian Neuhaus

@@ Line 23: / Line 23: @@
 T. Bittner, [http://www.acsu.buffalo.edu/~bittner3/Publications_files/Bittner_AO_07-60_printed.pdf Logical properties of relations in bio-ontologies], forthcoming in ''Applied Ontology''.
-T. Bittner and L. J. Goldberg, 2007. [http://bioinformatics.oxfordjournals.org/cgi/reprint/btm155?ijkey=U77LFLfSIM8PdaP&keytype=ref] The qualitative and time-dependent character of spatial relations in biomedical ontologies. ''Bioinformatics'', 2007.
+T. Bittner and L. J. Goldberg, 2007. [http://bioinformatics.oxfordjournals.org/cgi/reprint/btm155?ijkey=U77LFLfSIM8PdaP&keytype=ref The qualitative and time-dependent character of spatial relations in biomedical ontologies]. ''Bioinformatics'', 2007.
 ----

← Older revision		Revision as of 10:13, 6 October 2008
Line 20:		Line 20:

	R. Casati and A. Varzi, ''Parts and Places: The Structures of Spatial Representation'', Cambridge, MA: MIT Press, 1999.		R. Casati and A. Varzi, ''Parts and Places: The Structures of Spatial Representation'', Cambridge, MA: MIT Press, 1999.
		+
		+	T. Bittner, [http://www.acsu.buffalo.edu/~bittner3/Publications_files/Bittner_AO_07-60_printed.pdf Logical properties of relations in bio-ontologies], forthcoming in ''Applied Ontology''.
		+
		+	T. Bittner and L. J. Goldberg, 2007. [http://bioinformatics.oxfordjournals.org/cgi/reprint/btm155?ijkey=U77LFLfSIM8PdaP&keytype=ref] The qualitative and time-dependent character of spatial relations in biomedical ontologies. ''Bioinformatics'', 2007.

	----		----

@@ Line 4: / Line 4: @@
 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: