A Formal Ontology of Sequences

Robert Hoehndorf; Janet Kelso; Heinrich Herre

doi:10.1038/npre.2009.3537.1

A Formal Ontology of Sequences

Robert Hoehndorf, Janet Kelso, Heinrich Herre

Department of Computer Science

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

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.

Original language	English
Title of host publication	Proceedings of the First International Conference on Biomedical Ontologies (ICBO)
Publisher	Springer Nature
DOIs	https://doi.org/10.1038/npre.2009.3537.1
Publication status	Published - 01 Jul 2009
Event	ICBO: International Conference on Biomedical Ontology - New York, United States of America Duration: 24 Jul 2009 → 26 Jul 2009

Conference

Conference	ICBO: International Conference on Biomedical Ontology
Country/Territory	United States of America
City	New York
Period	24 Jul 2009 → 26 Jul 2009

Access to Document

10.1038/npre.2009.3537.1

http://dx.doi.org/10.1038/npre.2009.3537.1

Permanent link

Persistent link

Cite this

@inproceedings{3f7a8b84c95f43d4b842a3fae3a0204c,

title = "A Formal Ontology of Sequences",

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.",

author = "Robert Hoehndorf and Janet Kelso and Heinrich Herre",

year = "2009",

month = jul,

day = "1",

doi = "10.1038/npre.2009.3537.1",

language = "English",

booktitle = "Proceedings of the First International Conference on Biomedical Ontologies (ICBO)",

publisher = "Springer Nature",

address = "Switzerland",

note = "ICBO: International Conference on Biomedical Ontology ; Conference date: 24-07-2009 Through 26-07-2009",

}

TY - GEN

T1 - A Formal Ontology of Sequences

AU - Hoehndorf, Robert

AU - Kelso, Janet

AU - Herre, Heinrich

PY - 2009/7/1

Y1 - 2009/7/1

N2 - 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.

AB - 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.

UR - http://hdl.handle.net/2160/11098

U2 - 10.1038/npre.2009.3537.1

DO - 10.1038/npre.2009.3537.1

M3 - Conference Proceeding (Non-Journal item)

BT - Proceedings of the First International Conference on Biomedical Ontologies (ICBO)

PB - Springer Nature

T2 - ICBO: International Conference on Biomedical Ontology

Y2 - 24 July 2009 through 26 July 2009

ER -

A Formal Ontology of Sequences

Abstract

Conference

Access to Document

Permanent link

Other files and links

Fingerprint

The ontology of biological sequences.

Cite this