Using Interval Logic for Order Assembly

Temporallogic, in particular, interval logic has been used to represent genomemapsand to assist genome mapconstructions. However,interval logic itself appears to be bruited in its expressive powerbecause genomemappingrequires various information such as partial order, distance and local orientation. In this paper, wefirst proposean integrated formalismbased on a spatial-temporal logic wherethe conceptsof metric information, local orientation and uncertainty are merged.Then, wepresent and discuss a deductive and object-oriented data modelbasedon this formalismfor a genetic deductive database, and the inference rules required. The formalism supports the maintenance of coarser knowledgeof unordered, partially ordered and completely ordered genetic data in a relational hierarchy. Webelieve that this integrated formalism also providesa formalbasis for designinga declarative query language.

• Type: Conference
• Year: 1994
• Where: ISMB
• Authors: Zhan Cui
• Keywords: Computational Biology, Genetic Deductive Database, ISMB 1994, Local Orientation, Logic