The ontology of biological sequences

BMC Bioinformatics

Volumn 10, Issue , 2009, Pages

  Hoehndorf, Robert ^a,b   Kelso, Janet ^b   Herre, Heinrich ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b MAX PLANCK INSTITUTE FOR EVOLUTIONARY ANTHROPOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED THEOREM PROVING; BIOLOGICAL SEQUENCES; BIOMEDICAL ONTOLOGIES; COMPUTATIONAL BIOLOGY; FORMAL REPRESENTATIONS; KNOWLEDGE-BASED APPLICATIONS; ONTOLOGICAL ANALYSIS; SYNTACTIC REPRESENTATION;

FOUNDRIES; NUCLEIC ACIDS; THEOREM PROVING;

BIOINFORMATICS;

ABSTRACT REPORT; AMINO ACID SEQUENCE; ARTICLE; BIOLOGY; GENE SEQUENCE; INFORMATION PROCESSING; MATHEMATICAL ANALYSIS; MEDICAL RESEARCH; MOLECULAR DYNAMICS; FACTUAL DATABASE; INFORMATION RETRIEVAL; LINGUISTICS; METHODOLOGY; NOMENCLATURE;

COMPUTATIONAL BIOLOGY; DATABASES, FACTUAL; INFORMATION STORAGE AND RETRIEVAL; TERMINOLOGY AS TOPIC; VOCABULARY, CONTROLLED;

EID: 71549143170     PISSN: None     EISSN: 14712105     Source Type: Journal    
DOI: 10.1186/1471-2105-10-377     Document Type: Article

References (15)

1. Eilbeck K, Lewis SE, Mungall CJ, Yandell M, Stein L, Durbin R, Ashburner M. The Sequence Ontology: a tool for the unification of genome annotations. Genome Biology 2005, 6(5). 10.1186/gb-2005-6-5-r44, 1175956, 15892872.
2. Guarino N. Formal Ontology and Information Systems. Formal Ontology in Information Systems: Proceedings of the First International Conference (FOIS'98), Trento, Italy, 6-8 June 1998, of Frontiers in Artificial Intelligence and Applications 1998, 46:3-15. Amsterdam: IOS Press, Guarino N.
3. Hilbert D. Axiomatisches Denken. Mathematische Annalen 1918, 78:405-415.
4. Hoehndorf R. Formal Ontology of Sequences. 2009, , http://bioonto.de/pmwiki.php/Main/FormalOntologyOfSequences
5. Herre H, Heller B. Semantic Foundations of Medical Information Systems Based on Top-Level Ontologies. Journal of Knowledge-Based Systems 2006, 19(2):107-115.
6. Gruber TR. Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies 1995, 43(5-6).
7. Simons PM. Parts: a study in ontology 1987, Oxford University Press.
8. Guizzardi G. Ontological foundations for structural conceptual models. PhD thesis 2005, University of Twente, Enschede, The Netherlands, Enschede.
9. Grenon P. BFO in a Nutshell: A Bi-categorial Axiomatization of BFO and Comparison with DOLCE. 2003, Tech. rep., University of Leipzig, Leipzig.
10. Masolo C, Borgo S, Gangemi A, Guarino N, Oltramari A. WonderWeb Deliverable D18: Ontology Library (final). Tech. rep., Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy 2003,
11. Herre H, Heller B, Burek P, Hoehndorf R, Loebe F, Michalek H. General Formal Ontology (GFO) - A Foundational Ontology Integrating Objects and Processes [Version 1.0]. 2006, Onto-med report, Research Group Ontologies in Medicine, Institute of Medical Informatics, Statistics and Epidemiology, University of Leipzig, Leipzig.
12. Weidenbach C, Brahm U, Hillenbr T, Keen E, Theobald C. SPASS version 2.0. In Proc CADE-18 2002, 275-279. Springer.
13. Church A. A note on the Entscheidungsproblem. Journal of Symbolic Logic 1936, 1:40-41.
14. Ruttenberg A. The Information Artifact Ontology. , http://purl.obofoundry.org/obo/iao
15. Golbreich C, Horrocks I. The OBO to OWL mapping, GO to OWL 1.1!. Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, Jun 6-7, of CEUR Workshop Proceedings 2007, 258. Aachen, Germany: CEUR-WS.org, Golbreich C, Kalyanpur A, Parsia B.