Prototyping a Genetics Deductive Database
3nd International Conference on Intelligent Systems for Molecular Biology
We are developing a laboratory notebook system known as the Genetics Deductive Database. Currently our prototype provides storage for biological facts and rules with flexible access via an interactive graphical display. We have introduced a formal basis for the representation and reasoning necessary to order genome map data and handle the uncertainty inherent in biological data. We aim to support laboratory activities by introducing an experiment planner into our prototype. The Genetics Deductive Database is built using new database technology which provides an object-oriented conceptual model, a declarative rule language, and a procedural update language. This combination of features allows the implementation of consistency maintenance, automated reasoning, and data verification.
Laboratory notebook, genome map data, deductive database, spatial reasoning, reasoning under uncertainty.
This paper is available as a Postscript file.
The postscript file contains the camera-ready copy that appeared in the conference proceedings.
S.D.Parsons@csc.liv.ac.uk