OpenDocProject:LIS590ON

From OpenWetWare

Jump to: navigation, search

Search this Project

Customize your entry pages


Ontologies in Natural Sciences

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).

Readings

Personal tools