550 likes | 688 Views
Bridging Biological Ontologies and Biosimulation: The Ontology of Physics for Biology. Daniel L. Cook 1, 2 John H. Gennari 3 Jose L. V. Mejino 2 Maxwell L. Neal 3. 1 Physiology & Biophysics, 2 Biological Structure 3 Biomedical and Health Informatics University of Washington, Seattle.
E N D
Bridging Biological Ontologies and Biosimulation:The Ontology of Physics for Biology Daniel L. Cook1, 2 John H. Gennari 3 Jose L. V. Mejino 2 Maxwell L. Neal 3 1Physiology & Biophysics, 2Biological Structure 3Biomedical and Health Informatics University of Washington, Seattle AMIA 2008, Washington, DC
Available bioinformatics for “multiscale” structure 12 organ systems > 100 elements >> 100,000 molecule types >400 cell-part types >600 cell types 63 organ types 2 bodies Foundational Model of Anatomy Cell Type Gene Ontology ChEBI extended from Hunter, P. J. & Borg, T. K. (2003). Nat Rev Mol Cell Biol 24(6):667-72.
Domain Process fluids blood flow, respiratory gas flow… Physical domains solids myocardial contraction, leg motion… chemical kinetics metabolism, gene expression, cell signaling… electrochemistry transmembrane potential, action potential… diffusion intracellular calcium dynamics… body temperature regulation… heat transfer No bioinformatics for multidomain processes 12 organ systems > 100 elements >> 100,000 molecule types >400 cell-part types >600 cell types 63 organ types 2 bodies
Domain Process fluids blood flow, respiratory gas flow… Physical domains solids myocardial contraction, leg motion… chemical kinetics metabolism, gene expression, cell signaling… electrochemistry transmembrane potential, action potential… diffusion intracellular calcium dynamics… body temperature regulation… heat transfer Bioinformatic problem: query process knowledge 12 organ systems > 100 elements >> 100,000 molecule types >400 cell-part types >600 cell types 63 organ types 2 bodies • How is blood pressure controlled? • Which nerves control blood pressure?
Processes encoded as biosimulations models 12 organ systems > 100 elements >> 100,000 molecule types >400 cell-part types >600 cell types 63 organ types 2 bodies Domain Process fluids blood flow, respiratory gas flow… Physical domains solids myocardial contraction, leg motion… chemical kinetics metabolism, gene expression, cell signaling… electrochemistry transmembrane potential, action potential… diffusion intracellular calcium dynamics… body temperature regulation… heat transfer physics-based biosimulation model
Available models constitute “physiome” 12 organ systems > 100 elements >> 100,000 molecule types >400 cell-part types >600 cell types 63 organ types 2 bodies Domain Process fluids Physiome blood flow, respiratory gas flow… Physical domains solids myocardial contraction, leg motion… chemical kinetics metabolism, gene expression, cell signaling… electrochemistry transmembrane potential, action potential… diffusion intracellular calcium dynamics… body temperature regulation… heat transfer Hunter, P. J. & Borg, T. K. (2003). Nat Rev Mol Cell Biol 24(6):667-72.
Physiome problem: reuse and merge models 12 organ systems > 100 elements >> 100,000 molecule types >400 cell-part types >600 cell types 63 organ types 2 bodies Domain Process fluids Physiome blood flow, respiratory gas flow… Physical domains solids myocardial contraction, leg motion… chemical kinetics metabolism, gene expression, cell signaling… electrochemistry transmembrane potential, action potential… diffusion intracellular calcium dynamics… body temperature regulation… heat transfer physics-based biosimulation model Hunter, P. J. & Borg, T. K. (2003). Nat Rev Mol Cell Biol 24(6):667-72.
Reference ontologies SemSim Biosimulation model code Proposal for a solution: Semantics of biosimulation models can be encoded as ontologies and mapped to reference ontologies.
OPB, FMA, GO, CheBI, etc. SemSim Biosimulation model code Outline: Semantics of biosimulation models can be encoded as ontologies and mapped to reference ontologies. • Problems: biosimulation, bioinformatics • SemSim ontology • Ontology of Physics for Biology (OPB) • Conclusion
fluids solids chemical kin electrochem diffusion Time® heat transfer In practice: code is hand-crafted Biophysicists and bioengineers encode physics-based mathematical models of biological processes structural knowledge physics-based process biosimulation physics knowledge
fluids solids chemical kin electrochem diffusion heat transfer In practice: code is formal — meaning is implicit anatomical participants known only by annotation structural knowledge physiological variable names are arbitrary real Paorta(t) mmHg; // Pressure of aorta real PSysVein(t) mmHg; // Pressure of systemic vein real FSysArt(t) ml/sec; // Flow in systemic artery real Rartcap = 0.7 mmHg*sec/ml; // Arterial resistance FSysArt = (Paorta - PSysVein) / Rartcap; // Ohm's Law physics knowledge variable dependencies known only by annotation
fluids solids chemical kin electrochem diffusion heat transfer In practice: multiple, incompatible languages JSim, SBML, CellML, MatLab, others… structural knowledge physics-based process biosimulation physics knowledge
physics knowledge fluids solids chemical kin electrochem diffusion heat transfer In practice: 100’s of models in linguistic silos CellML physics-based process biosimulation structural knowledge SBML physics-based process biosimulation JSim physics-based process biosimulation MatLab physics-based process biosimulation other physics-based process biosimulation
Opportunity: a reservoir of process knowledge CellML SBML JSim MatLab other
Problem: barriers to biosimulation model reuse CellML JSim How to find, merge and re-encode models? SBML ? physics-based process biosimulation JSim ? MatLab ? other
Problem: no access for bioinformatic queries CellML SparQL How to query knowledge of biological processes? SBML JSim Q & A MatLab other
Two fields, two problems: Biosimulation — re-use biosimulation models • Find models of blood pressure control. • Which models include neural-control? Bioinformatics — query process knowledge • How is blood pressure controlled? • Which nerves control blood pressure?
OPB, FMA, GO, CheBI, etc. SemSim Biosimulation model code Outline: Semantics of biosimulation models can be encoded as ontologies and mapped to reference ontologies. • Problems: biosimulation, bioinformatics • SemSim ontology • Ontology of Physics for Biology (OPB) • Conclusion
SemSim SemSim SemSim SemSim SemSim OWL Solution: encode SemSim ontological maps… CellML SemSim semantic maps of biosimulation models SBML JSim MatLab other
SemSim SemSim SemSim SemSim SemSim OWL …and annotate to reference ontologies CellML SemSim semantic maps of biosimulation models annotate SemSim components to reference ontologies SBML OPB, FMA, GO, CheBI, etc. JSim MatLab other
physics knowledge fluids solids chemical kin electrochem diffusion heat transfer SemSim — biosimulation ontological map structural knowledge SemSim model Physical model Computational model biosimulation code : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : Gennari, J. H., M. L. Neal, B. E, Carlson, D. L. Cook (2008) Integration of multi-scale biosimulation models via light-weight semantics Pac Symp Biocomput (414-425)
Data structure physics knowledge fluids solids chemical kin electrochem diffusion heat transfer SemSim — step 1: represent math structure structural knowledge SemSim model Physical model Computational model biosimulation code : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : represent variable as individuals of class Data structure
Data structure physics knowledge fluids Computation solids chemical kin electrochem diffusion heat transfer SemSim — step 1: represent math structure structural knowledge SemSim model Physical model Computational model biosimulation code : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : represent variable as individuals of class Data structure use / return represent equations as individuals of class Computation
structural knowledge Data structure physics knowledge fluids Computation solids chemical kin electrochem diffusion heat transfer SemSim — step 2: represent biological meaning SemSim model Physical model Computational model biosimulation code : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : Physical property e.g., volume, pressure, molar flow, chemical amount use / return
structural knowledge Data structure physics knowledge fluids Computation solids chemical kin electrochem diffusion heat transfer SemSim — step 2: represent biological meaning SemSim model Physical model Computational model biosimulation code e.g., heart, blood in aorta, protein kinase, folate, Ca++ Physical entity : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : has_property Physical property e.g., volume, pressure, molar flow, chemical amount use / return
structural knowledge Data structure physics knowledge fluids Computation solids Physical dependency chemical kin electrochem diffusion heat transfer SemSim — step 2: represent biological meaning SemSim model Physical model Computational model biosimulation code e.g., heart, blood in aorta, protein kinase, folate, Ca++ Physical entity : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : has_property Physical property e.g., volume, pressure, molar flow, chemical amount has_player use / return e.g., Ohm’s law, law of mass action, mass conservation
Data structure physics knowledge fluids Computation solids Physical dependency chemical kin electrochem diffusion heat transfer Map to reference ontologies of structure structural knowledge SemSim model Physical model Computational model FMA biosimulation code Physical entity GO : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : ChEBI has_property Physical property has_player use / return
Data structure physics knowledge fluids Computation solids Physical dependency chemical kin electrochem diffusion heat transfer Map to reference ontology of physics — OPB structural knowledge SemSim model Physical model Computational model FMA biosimulation code Physical entity GO : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : ChEBI has_property Physical property has_player use / return OPB
OPB, FMA, GO, CheBI, etc. SemSim Biosimulation model code Outline: Semantics of biosimulation models can be encoded as ontologies and mapped to reference ontologies. • Problems: biosimulation, bioinformatics • SemSim ontology • Ontology of Physics for Biology (OPB) • Conclusion
OPB foundational theory — system dynamics • Engineering system dynamics • Bond graph theory • Karnopp, Margolis, Rosenberg (1968) • EngMath - Ontology for Engineering Mathematics • Gruber, Olsen (1994) • PHYSYS - Physical Systems Ontology Borst, Top, Akkermans (1994) • Biochemical system dynamics • Network thermodynamics • Oster, Perelson, Katchalsky (1971) • Mickulecky (1983) • Beard, Qian (2008)
OPB representational goals • Represent abstractions used in physics-based biosimulations—not a theory of “reality”. • Adhere to OBO principles. • Implement in OWL; deploy to OBO and BioPortal.
OPB:Physics analytical entity A Physics analytical entity is an abstraction of the real world created within the science of classical physics for the description of physical entities and the analysis of physical processes. OPB
OPB:Physical entity A Physics analytical entity is an abstraction of the real world created within the science of classical physics for the description of physical entities and the analysis of physical processes. OPB A Physical entity is a spatial, temporal, or energetic abstraction of the physical world.
OPB:Physical property A Physics analytical entity is an abstraction of the real world created within the science of classical physics for the description of physical entities and the analysis of physical processes. OPB A Physical entity is a spatial, temporal, or energetic abstraction of the physical world. A Physical property is a quantifiable attribute of a physical entity whose value can be determined by physical measurement at a moment in time.
Physical property organizing principle Physical domain fluids solids chemical kinetics electrophysiology diffusion heat transfer
Physical property class hierarchy Physical domain fluids solids chemical kinetics electrophysiology diffusion heat transfer
Physical property by domain OPB A Flow subclass for each physical domain
Physical dependency A Physics analytical entity is an abstraction of the real world created within the science of classical physics for the description of physical entities and the analysis of physical processes. OPB A Physical entity is a spatial, temporal, or energetic abstraction of the physical world. A Physical property is a quantifiable attribute of a physical entity whose value can be determined by physical measurement at a moment in time. A Physical dependency is a quantitative dependency between the magnitudes of two or more physical properties according to a physical law.
Physical dependency organizing principle A Physical dependency is a quantitative dependency between the magnitudes of two or more physical properties according to a physical law.
Flow Constitutive physical dependency Force e.g., “Ohm’s law”
Flow Displacement Force Constitutive physical dependency Force e.g., “Hooke’s law”
Flow Displacement Force Momentum Flow Constitutive physical dependency Force
Physical dependency by domain OPB A Resistive dependency subclass for each physical domain
Data structure Computation Physical dependency OPB-SemSim working example SemSim model Physical model Computational model model code Physical entity : Paorta PSysVein FSysArt Rartcap : : : FSysArt =…. : has_property Physical property has_player use / return Neal, M. L., J. H. Gennari, T. Arts, D. L. Cook (2009) Advances in semantic representation of multiscale biosimulations: A case study in merging models Pac Symp Biocomput (in press)
SemSim SemSim SemSim SemSim SemSim Conclusion CellML SBML OPB FMA GO ChEBI etc. JSim MatLab other
Acknowledgements SemSim / OPB team • Maxwell L. Neal (Grad student) • Michal Galdzicki (Grad student) • John H. Gennari, PhD (Assoc Prof) • Daniel L. Cook, MD, PhD (Res Prof) UW contributors Bioinformatics • Cornelius Rosse • Onard Mejino • James Brinkley • Todd Detwiler Biophysics / biosimulation • James B. Bassingthwaighte • Herbert Sauro • Erik Butterworth • Hong Qian • Adriana Emmi • Fred Bookstein Partial funding from NIH MLN, MG: T15 LM007442-06 DLC, JHG: R01HL087706-01
Data structure physics knowledge fluids Computation solids Physical dependency chemical kin electrochem diffusion heat transfer Next steps… structural knowledge SemSim model Physical model Computational model FMA biosimulation code Physical entity GO : Paorta PSysVein FSysArt Rartcap : : FSysArt =…. : ChEBI has_property Physical property use / return has_player Ontology of Physics for Biology SemGen parse code access classes write new code
CV+ JSim VSM BARO CV JSim JSim JSim SemSim use-case 1: reuse legacy models VSM SemSim CV+ BARO SemSim SemSim CV 3. encode merged SemSim as JSim model SemSim 2. use Prompt plug-in to Protégé to analyze and merge SemSim models 1. create SemSim models of JSim biosimulation models Gennari, J. H., M. L. Neal, B. E, Carlson, D. L. Cook (2008) Integration of multi-scale biosimulation models via light-weight semantics Pac Symp Biocomput (414-425)