0 votes

A Formal Ontology of Sequences

Robert Hoehndorf¹, Janet Kelso² & Heinrich Herre³

Correspondence: (Login to view email address)

1. Institute for Medical Informatics, Statistics and Epidemiology, University of Leipzig and Max Planck Institute for Evolutionary Anthropology
2. Max Planck Institute for Evolutionary Anthropology
3. Institute for Medical Informatics, Statistics and Epidemiology, University of Leipzig

PDF (82.5 KB)

Document Type:

Manuscript

Date:

Received 02 August 2009 08:13 UTC; Posted 03 August 2009

Subjects:

Genetics & Genomics, Bioinformatics

Tags:

• ontology
• sequence
• knowledge representation
• logic

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.

Collection:

International Conference on Biomedical Ontology

Discussion

Votes:

0 votes

(Login to vote)

Comments:

0 comments

(Login to post a comment)

Share:

(Login to share with a colleague)

Additional information

License:

This document is licensed to the public under the Creative Commons Attribution 3.0 License

How to cite this document:

Hoehndorf, Robert, Kelso, Janet, and Herre, Heinrich. A Formal Ontology of Sequences. Available from Nature Precedings <http://dx.doi.org/10.1038/npre.2009.3537.1> (2009)

Version info:

Other versions of this document in Nature Precedings

None.

Other versions of this document elsewhere on the web

None known.

Submit a new version link