A case study in pathway knowledgebase verification

BMC Bioinformatics

Volumn 7, Issue , 2006, Pages

  Racunas, Stephen A ^a   Shah, Nigam H ^a   Fedoroff, Nina V ^b  

^a STANFORD UNIVERSITY   (United States)

^b PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED REASONING; BIOLOGICAL DATABASE; DESIGN AND EVALUATIONS; FINITE MODEL THEORY; FUTURE APPLICATIONS; GENERIC PROPERTIES; HYPOTHESIS EVALUATION; INFORMATION INTEGRATION;

FORMAL LANGUAGES; TOOLS;

RESEARCH;

ARTICLE; AUTOMATION; COMPUTER LANGUAGE; COMPUTER MODEL; COMPUTER SYSTEM; CONTROLLED STUDY; DATA BASE; HYPOTHESIS; INFORMATION PROCESSING; KNOWLEDGE BASE; LOGIC; METHODOLOGY; THEORY; ALGORITHM; BIOLOGICAL MODEL; CELL FUNCTION; COMPARATIVE STUDY; COMPUTER SIMULATION; EVALUATION STUDY; FACTUAL DATABASE; INFORMATION RETRIEVAL; METABOLISM; PHYSIOLOGY; PROCEDURES; SIGNAL TRANSDUCTION; VALIDATION STUDY;

PROTEOME;

ALGORITHMS; CELL PHYSIOLOGICAL PHENOMENA; COMPUTER SIMULATION; DATABASES, FACTUAL; INFORMATION STORAGE AND RETRIEVAL; KNOWLEDGE BASES; MODELS, BIOLOGICAL; PROGRAMMING LANGUAGES; PROTEOME; SIGNAL TRANSDUCTION;

EID: 33746420065     PISSN: 14712105     EISSN: 14712105     Source Type: Journal    
DOI: 10.1186/1471-2105-7-196     Document Type: Article

References (15)

1. Galperin MY. The Molecular Biology Database Collection: 2005 update. Nucleic Acids Res 2005, 33(Database issue):D5-24.
2. Joshi-Tope G, Gillespie M, Vastrik I, D'Eustachio P, Schmidt E, de Bono B, Jassal B, Gopinath GR, Wu GR, Matthews L, Lewis S, Birney E, Stein L: Reactome: a knowledgebase of biological pathways. Nucleic Acids Res 2005, 33 Database Issue:D428-32.
3. Karp PD, Riley M, Saier M, Paulsen IT, Collado-Vides J, Paley SM, Pellegrini-Toole A, Bonavides C, Gama-Castro S: The EcoCyc Database. Nucleic Acids Res 2002, 30(1):56-58.
4. Cary MP, Bader GD, Sander C: Pathway information for systems biology. FEBS Lett 2005, 579(8):1815-1820.
5. Fedoroff N, Racunas SA, Shrager J: Tools for thought in the age of biological knowledge. The Scientist 2005, 19(11):20-21.
6. Karp PD, Paley S, Romero P: The Pathway Tools software. Bioinformatics 2002, 18 Suppl 1:S225-32.
7. Green ML, Karp PD: A Bayesian method for identifying missing enzymes in predicted metabolic pathway databases. BMC Bioinformatics 2004, 5(1):76.
8. Kuffner R, Zimmer R, Lengauer T: Pathway analysis in metabolic databases via differential metabolic display (DMD). Bioinformatics 2000, 16(9):825-836.
9. Racunas SA, Shah NH, Albert I, Fedoroff NV: HyBrow: a prototype system for computer-aided hypothesis evaluation. Bioinformatics 2004, 20(suppl 1):i257-264.
10. Kuchinsky A, Graham K, Moh D, Creech M, Babaria K, Adler A. Biological Storytelling: a software tool for biological information organization based upon narrative structure.: May 22-24; Trento, Italy.; 2002.
11. Racunas S, Griffin C, Shah N: A finite model theory for biological hypotheses. 2004:585-589.
12. HyBrow Project [http://www.hybrow.org/Reactome]
13. Pathway Resource List [http://www.cbio.mskcc.org/prl]
14. Marker D: Model Theory- An Introduction. New York, Springer-Verlag; 2002.
15. Racunas SA: Classifying Regulatory Hypotheses. In Deptartment of Electrical Engineering University Park, PA, Pennsylvania State University: 2O04:211.