RT Journal Article SR Electronic T1 Formalization of Genome Interval Relations JF bioRxiv FD Cold Spring Harbor Laboratory SP 006650 DO 10.1101/006650 A1 Chris J. Mungall YR 2014 UL http://biorxiv.org/content/early/2014/06/27/006650.abstract AB In order to take full advantage of next generation genomics data, I need informatics methods to be based on agreed upon formally specified standards that can be implemented easily in a uniform fashion without ambiguity. These standards should be encoded as logical formulae, so that provably correct and efficient decision procedures can be used for query answering and validation.In this paper I present the core of such a standard for sequence data: a collection of definitions of relations that hold between genomic intervals, and an alegbra for performing operations upon these intervals. I show how these relations can be used to extend formalize concepts in the Sequence Ontology (SO).