Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

A case study in pathway knowledgebase verification.

Stephen A Racunas1, Nigam H Shah, Nina V Fedoroff

  • 1Computational Learning Laboratory, Stanford University, CA, USA. sracunas@csli.stanford.edu

BMC Bioinformatics
|April 11, 2006
PubMed
Summary

We developed logical tests to ensure biological pathway knowledge-bases are reliable for computational analysis. Our approach identifies and reduces inconsistencies, improving data quality for hypothesis evaluation tools.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Small language models in medicine.

Nature biomedical engineering·2026
Same author

Why and How to Monitor Deployed AI Systems in Health Care.

NEJM catalyst innovations in care delivery·2026
Same author

Co-intelligence: a proposal for human-artificial intelligence collaboration for large language models in medical research.

The Lancet. Digital health·2026
Same author

Artificial Intelligence in Peripheral Artery Disease: A Science Advisory From the American Heart Association.

Circulation. Population health and outcomes·2026
Same author

Physician-Reported Safety Outcomes of AI-Generated Hospital Course Summaries.

JAMA network open·2026
Same author

A clinical environment simulator for dynamic AI evaluation.

Nature medicine·2026

Area of Science:

  • Bioinformatics
  • Computational Biology
  • Systems Biology

Background:

  • Rapid proliferation of biological databases and pathway knowledge-bases.
  • Need for reliable data sources for computer-aided hypothesis design and evaluation.
  • Requirement to proofread knowledge-bases for data integration and inference support.

Purpose of the Study:

  • Develop software tools for computer-aided hypothesis design and evaluation.
  • Ensure pathway knowledge-bases reliably support information integration and inference.
  • Proofread biological databases to guarantee data integrity.

Main Methods:

  • Designed logical tests to detect potential problems in pathway knowledge-bases.
  • Developed a formal language from the Reactome database format.

Related Experiment Videos

  • Applied finite model theory to specify a logic for evaluating pathway models.
  • Formulated tests for pathway properties like completeness and consistency.
  • Applied tests to Reactome database releases (10-14).

    • Main Results:

    • Highlighted steady improvement in Reactome releases with decreasing inconsistencies.
    • Demonstrated the effectiveness of logical tests in identifying knowledge-base issues.
    • Investigated Reactome's potential for supporting computer-aided inference tools.
    • Compared results across multiple Reactome releases.

    Conclusions:

    • Model theory-based approach successfully identifies knowledge-base problems for hypothesis evaluation tools.
    • Methodology is general and applicable to various pathway resources.
    • Future applications will enable comparison of pathway resources based on automated reasoning support properties.