Using Interval Logic for Order Assembly

Zhan Cui

Temporalogic, in particular, interval logic has been used to represent genome maps and to assist genome map constructions. However, interval logic itself appears to be bruited in its expressive power because genome mapping requires various information such as partial order, distance and local orientation. In this paper, we first propose an integrated formalism based on a spatial-temporal logic where the concepts of metric information, local orientation and uncertainty are merged. Then, we present and discuss a deductive and object-oriented data model based on this formalism for a genetic deductive database, and the inference rules required. The formalism supports the maintenance of coarser knowledge of unordered, partially ordered and completely ordered genetic data in a relational hierarchy. We believe that this integrated formalism also provides a formal basis for designing a declarative query language.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.