OpenDocProject:LIS590ON

{| width="600"
 * align="center"|
 * align="center"|




 * align="center"|

title=Search this Project


 * colspan="2" style="background-color: #F2F2F2;" align="right"|Customize your entry pages 
 * colspan="2"|
 * colspan="2"|
 * colspan="2"|

=Ontologies in Natural Sciences=
 * LIS 590ON
 * Instructor: Dave Dubin and Allen Renear
 * Fall 2010
 * Syllabus:
 * Location 109 LISB

This course explores the application of formal ontology and related information modeling techniques in the natural sciences, focusing particularly on the biological and medical sciences. There are no specific prerequisites and the necessary background will be presented as part of the course, but students should have an antecedent interest in these topics and be prepared to make routine use of symbolic languages.

First Order Logic Resources

I've struggled with FOL a bit the last year and I'm a bit more determined to tackle it successfully this year. Below are some resources, and tutorial that I'm in the midst of creating.

I keep a glossary of terms that I often forget (no judging).