Abstract
The Sequence Ontology is an OBO Foundry ontology that provides categories of sequences and sequence features that are applied to the annotation of genomes. To facilitate interoperability with other domain ontologies and to provide a foundation for automated inference, we provide here an axiom system for the Sequence and Junction categories in first- and second-order predicate logics.
Similar content being viewed by others
Article PDF
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hoehndorf, R., Kelso, J. & Herre, H. A Formal Ontology of Sequences. Nat Prec (2009). https://doi.org/10.1038/npre.2009.3537.1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/npre.2009.3537.1