Neuhaus - Revision history

Neuhaus at 23:30, 11 November 2008

2008-11-11T23:30:52Z

Phismith at 16:32, 9 November 2008

2008-11-09T16:32:51Z

Phismith at 16:32, 9 November 2008

2008-11-09T16:32:24Z

Neuhaus at 07:29, 9 November 2008

2008-11-09T07:29:27Z

Neuhaus at 07:26, 9 November 2008

2008-11-09T07:26:49Z

Phismith at 13:38, 4 November 2008

2008-11-04T13:38:49Z

Phismith: New page: Introduction to Logical Reasoning Half-day tutorial July 20, 2009 Also offered as part of Spatial Ontology and Qualitative Reasoning tutorial on July 20-21, 2009. '''Faculty''' '''F...

2008-11-04T13:38:11Z

New page: Introduction to Logical Reasoning Half-day tutorial July 20, 2009 Also offered as part of Spatial Ontology and Qualitative Reasoning tutorial on July 20-21, 2009. '''Faculty''' '''F...

New page

Introduction to Logical Reasoning

Half-day tutorial
July 20, 2009

Also offered as part of [[Spatial Ontology and Qualitative Reasoning]] tutorial on July 20-21, 2009.

'''Faculty'''
'''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 17: / Line 17: @@
 '''Literature'''
-Any introduction to logic (e.g. ‘Logic Primer’ by Colin Allen and Michael Hand).
+Any introductory text on logic. There is a number of good textbooks available (e.g. Colin Allen and Michael Hand: [http://logic.tamu.edu/Primer/ 'Logic Primer'], MIT Press).  This [http://people.hofstra.edu/Stefan_Waner/realWorld/logic/logicintro.html website] by Stefan Waner and Steven R. Costenoble contains an introduction to the basic concepts of formal logic.
 Neuhaus, Smith: [http://www.acsu.buffalo.edu/~fneuhaus/relations_in_anatomical_ontologies_sa.pdf Relations in Anatomical Ontologies], 2008

@@ Line 5: / Line 5: @@
 '''July 20, 2009 (Morning)'''
-This tutorial doubles as the introductory part of the class on [http://www.bioontology.org/wiki/index.php/Bittner_and_Donnelly Spatial Ontology and Qualitative Reasoning] to be held on July 20-21, 2009.
+This tutorial doubles as the introductory part of the class on [http://www.bioontology.org/wiki/index.php/Bittner_Donnelly_and_Neuhaus Spatial Ontology and Qualitative Reasoning] to be held on July 20-21, 2009.
 Anybody who is interested in biomedical ontologies will find out rather quickly that people with a background in biology or medicine tend to have a very different perspective on biomedical ontologies than people with a background in computer science or logic. This might be natural and to some extend healthy, but often it makes communication difficult and leads to frustration. This tutorial is intended to help to ease the situation: it is an introduction into formal methods for domain experts. If you are a biologist and you ever wondered  why some people seem to be obsessed with necessary and sufficient conditions or why the OBO Relations Ontology (RO) is so weird, this tutorial might be of interest to you.

@@ Line 1: / Line 1: @@
-'''Introduction to Logical Reasoning'''
+'''Formal Methods for Biologists'''
 '''Half-day tutorial'''
-'''July 20, 2009'''
+'''July 20, 2009 (Morning)'''
 Anybody who is interested in biomedical ontologies will find out rather quickly that people with a background in biology or medicine tend to have a very different perspective on biomedical ontologies than people with a background in computer science or logic. This might be natural and to some extend healthy, but often it makes communication difficult and leads to frustration. This tutorial is intended to help to ease the situation: it is an introduction into formal methods for domain experts. If you are a biologist and you ever wondered  why some people seem to be obsessed with necessary and sufficient conditions or why the OBO Relations Ontology (RO) is so weird, this tutorial might be of interest to you.
@@ Line 11: / Line 13: @@
 In the second part of the course we will use the results of the first part in order to discuss the OBO Relations Ontology (RO). This includes the role of the RO as glue between the different ontologies in the OBO Foundry, the way type level relationship are defined on top of the instance level relationships and the role of axioms (which are missing from the RO).
 ----

@@ Line 11: / Line 11: @@
 In the second part of the course we will use the results of the first part in order to discuss the OBO Relations Ontology (RO). This includes the role of the RO as glue between the different ontologies in the OBO Foundry, the way type level relationship are defined on top of the instance level relationships and the role of axioms (which are missing from the RO).
-This tutorial doubles as the introductory part of the class on [[Spatial Ontology and Qualitative Reasoning]] to be held on July 20-21, 2009.
+This tutorial doubles as the introductory part of the class on [http://www.bioontology.org/wiki/index.php/Bittner_and_Donnelly Spatial Ontology and Qualitative Reasoning] to be held on July 20-21, 2009.
 ----

@@ Line 5: / Line 5: @@
 '''July 20, 2009'''
-Also offered as part of the class on [[Spatial Ontology and Qualitative Reasoning]] to be held on July 20-21, 2009.
+Anybody who is interested in biomedical ontologies will find out rather quickly that people with a background in biology or medicine tend to have a very different perspective on biomedical ontologies than people with a background in computer science or logic. This might be natural and to some extend healthy, but often it makes communication difficult and leads to frustration. This tutorial is intended to help to ease the situation: it is an introduction into formal methods for domain experts. If you are a biologist and you ever wondered  why some people seem to be obsessed with necessary and sufficient conditions or why the OBO Relations Ontology (RO) is so weird, this tutorial might be of interest to you.
 '''Faculty'''
 '''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.