A Formal Ontology of Sequences

Robert Hoehndorf, Janet Kelso, Heinrich Herre

Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)


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.
Original languageEnglish
Title of host publicationProceedings of the First International Conference on Biomedical Ontologies (ICBO)
PublisherSpringer Nature
Publication statusPublished - 01 Jul 2009
EventICBO: International Conference on Biomedical Ontology - New York, United States of America
Duration: 24 Jul 200926 Jul 2009


ConferenceICBO: International Conference on Biomedical Ontology
Country/TerritoryUnited States of America
CityNew York
Period24 Jul 200926 Jul 2009


Dive into the research topics of 'A Formal Ontology of Sequences'. Together they form a unique fingerprint.
  • The ontology of biological sequences.

    Hoehndorf, R., Kelso, J. & Herre, H., 18 Nov 2009, In: BMC Bioinformatics. 10, 377.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    18 Citations (SciVal)
    135 Downloads (Pure)

Cite this