SemGen: a tool for semantics-based annotation and composition of biosimulation models.

SUMMARY: As the number and complexity of biosimulation models grows, so do demands for tools that can help users understand models and compose more comprehensive and accurate systems from existing models. SemGen is a tool for semantics-based annotation and composition of biosimulation models designed to address this demand. A key SemGen capability is to decompose and then integrate models across existing model exchange formats including SBML and CellML. To support this capability, we use semantic annotations to explicitly capture the underlying biological and physical meanings of the entities and processes that are modeled. SemGen leverages annotations to expose a model's biological and computational architecture and to help automate model composition. AVAILABILITY AND IMPLEMENTATION: SemGen is freely available at https://github.com/SemBioProcess/SemGen. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.

Harmonizing semantic annotations for computational models in biology.

Life science researchers use computational models to articulate and test hypotheses about the behavior of biological systems. Semantic annotation is a critical component for enhancing the interoperability and reusability of such models as well as for the integration of the data needed for model parameterization and validation. Encoded as machine-readable links to knowledge resource terms, semantic annotations describe the computational or biological meaning of what models and data represent. These annotations help researchers find and repurpose models, accelerate model composition and enable knowledge integration across model repositories and experimental data stores. However, realizing the potential benefits of semantic annotation requires the development of model annotation standards that adhere to a community-based annotation protocol. Without such standards, tool developers must account for a variety of annotation formats and approaches, a situation that can become prohibitively cumbersome and which can defeat the purpose of linking model elements to controlled knowledge resource terms. Currently, no consensus protocol for semantic annotation exists among the larger biological modeling community. Here, we report on the landscape of current annotation practices among the COmputational Modeling in BIology NEtwork community and provide a set of recommendations for building a consensus approach to semantic annotation.

BaroFuse, a novel pressure-driven, adjustable-throughput perfusion system for tissue maintenance and assessment.

OBJECTIVES: Microfluidic perfusion systems are used for assessing cell and tissue function while assuring cellular viability. Low perfusate flow rates, desired both for conserving reagents and for extending the number of channels and duration of experiments, conventionally depend on peristaltic pumps to maintain flow yet such pumps are unwieldy and scale poorly for high-throughput applications requiring 16 or more channels. The goal of the study was to develop a scalable multichannel microfluidics system capable of maintaining and assessing kinetic responses of small amounts of tissue to drugs or changes in test conditions. METHODS: Here we describe the BaroFuse, a novel, multichannel microfluidics device fabricated using 3D-printing technology that uses gas pressure to drive large numbers of parallel perfusion experiments. The system is versatile with respect to endpoints due to the translucence of the walls of the perifusion chambers, enabling optical methods for interrogating the tissue status. The system was validated by the incorporation of an oxygen detection system that enabled continuous measurement of oxygen consumption rate (OCR). RESULTS: Stable and low flow rates (1-20 µL/min/channel) were finely controlled by a single pressure regulator (0.5-2 psi). Control of flow in 0.2 µL/min increments was achieved. Low flow rates allowed for changes in OCR in response to glucose to be well resolved with very small numbers of islets (1-10 islets/channel). Effects of acetaminophen on OCR by precision-cut liver slices of were dose dependent and similar to previously published values that used more tissue and peristaltic-pump driven flow. CONCLUSIONS: The very low flow rates and simplicity of design and operation of the BaroFuse device allow for the efficient generation of large number of kinetic profiles in OCR and other endpoints lasting from hours to days. The use of flow enhances the ability to make measurements on primary tissue where some elements of native three-dimensional structure are preserved. We offer the BaroFuse as a powerful tool for physiological studies and for pharmaceutical assessment of drug effects as well as personalized medicine.

Qualitative causal analyses of biosimulation models.

We describe an approach for performing qualitative, systems-level causal analyses on biosimulation models that leverages semantics-based modeling formats, formal ontology, and automated inference. The approach allows users to quickly investigate how a qualitative perturbation to an element within a model's network (an increment or decrement) propagates throughout the modeled system. To support such analyses, we must interpret and annotate the semantics of the models, including both the physical properties modeled and the dependencies that relate them. We build from prior work understanding the semantics of biological properties, but here, we focus on the semantics for dependencies, which provide the critical knowledge necessary for causal analysis of biosimulation models. We describe augmentations to the Ontology of Physics for Biology, via OWL axioms and SWRL rules, and demonstrate that a reasoner can then infer how an annotated model's physical properties influence each other in a qualitative sense. Our goal is to provide researchers with a tool that helps bring the systems-level network dynamics of biosimulation models into perspective, thus facilitating model development, testing, and application.

Semantics-Based Composition of Integrated Cardiomyocyte Models Motivated by Real-World Use Cases.

Semantics-based model composition is an approach for generating complex biosimulation models from existing components that relies on capturing the biological meaning of model elements in a machine-readable fashion. This approach allows the user to work at the biological rather than computational level of abstraction and helps minimize the amount of manual effort required for model composition. To support this compositional approach, we have developed the SemGen software, and here report on SemGen's semantics-based merging capabilities using real-world modeling use cases. We successfully reproduced a large, manually-encoded, multi-model merge: the "Pandit-Hinch-Niederer" (PHN) cardiomyocyte excitation-contraction model, previously developed using CellML. We describe our approach for annotating the three component models used in the PHN composition and for merging them at the biological level of abstraction within SemGen. We demonstrate that we were able to reproduce the original PHN model results in a semi-automated, semantics-based fashion and also rapidly generate a second, novel cardiomyocyte model composed using an alternative, independently-developed tension generation component. We discuss the time-saving features of our compositional approach in the context of these merging exercises, the limitations we encountered, and potential solutions for enhancing the approach.

Quantification of Low-Level Drug Effects Using Real-Time, in vitro Measurement of Oxygen Consumption Rate.

There is a general need to detect toxic effects of drugs during preclinical screening. We propose that increased sensitivity of xenobiotics toxicity combined with improved in vitro physiological recapitulation will more accurately assess potentially toxic perturbations of cellular biochemistry that are near in vivo pharmacological exposure levels. Importantly, measurement of such cytopathologies avoids activating mechanisms mediating toxicity at suprapharmacologic levels not relevant to in vivo effects. We present a sensitive method to measure changes in oxygen consumption rate (OCR), a well-established parameter reflecting a potential hazard, in response to exposure to pharmacologic levels of drugs using a flow culture system and state of the art oxygen sensing system. We tested metformin and acetaminophen on rat liver slices to illustrate the method. The features of the method include continuous and very stable measurement of OCR over the course of 48 h in liver slices in a continuous flow chamber with the ability to resolve changes as small as 0.3%/h. Kinetic modeling of metformin inhibition of OCR over a wide range of concentrations revealed both a slow and fast mechanism, where the fast mechanism activated only at concentrations above 0.6 mM. For both drugs, small amounts of inhibition were reversible, but higher decrements were irreversible. Overall the study highlights the advantages of measuring low-level toxicity so as to avoid the common extrapolations made about drug toxicity based on effects of drugs tested at suprapharmacologic levels.

Ontology of physics for biology: representing physical dependencies as a basis for biological processes.

BACKGROUND: In prior work, we presented the Ontology of Physics for Biology (OPB) as a computational ontology for use in the annotation and representations of biophysical knowledge encoded in repositories of physics-based biosimulation models. We introduced OPB:Physical entity and OPB:Physical property classes that extend available spatiotemporal representations of physical entities and processes to explicitly represent the thermodynamics and dynamics of physiological processes. Our utilitarian, long-term aim is to develop computational tools for creating and querying formalized physiological knowledge for use by multiscale "physiome" projects such as the EU's Virtual Physiological Human (VPH) and NIH's Virtual Physiological Rat (VPR). RESULTS: Here we describe the OPB:Physical dependency taxonomy of classes that represent of the laws of classical physics that are the "rules" by which physical properties of physical entities change during occurrences of physical processes. For example, the fluid analog of Ohm's law (as for electric currents) is used to describe how a blood flow rate depends on a blood pressure gradient. Hooke's law (as in elastic deformations of springs) is used to describe how an increase in vascular volume increases blood pressure. We classify such dependencies according to the flow, transformation, and storage of thermodynamic energy that occurs during processes governed by the dependencies. CONCLUSIONS: We have developed the OPB and annotation methods to represent the meaning-the biophysical semantics-of the mathematical statements of physiological analysis and the biophysical content of models and datasets. Here we describe and discuss our approach to an ontological representation of physical laws (as dependencies) and properties as encoded for the mathematical analysis of biophysical processes.

Representing physiological processes and their participants with PhysioMaps.

BACKGROUND: As the number and size of biological knowledge resources for physiology grows, researchers need improved tools for searching and integrating knowledge and physiological models. Unfortunately, current resources-databases, simulation models, and knowledge bases, for example-are only occasionally and idiosyncratically explicit about the semantics of the biological entities and processes that they describe. RESULTS: We present a formal approach, based on the semantics of biophysics as represented in the Ontology of Physics for Biology, that divides physiological knowledge into three partitions: structural knowledge, process knowledge and biophysical knowledge. We then computationally integrate these partitions across multiple structural and biophysical domains as computable ontologies by which such knowledge can be archived, reused, and displayed. Our key result is the semi-automatic parsing of biosimulation model code into PhysioMaps that can be displayed and interrogated for qualitative responses to hypothetical perturbations. CONCLUSIONS: Strong, explicit semantics of biophysics can provide a formal, computational basis for integrating physiological knowledge in a manner that supports visualization of the physiological content of biosimulation models across spatial scales and biophysical domains.

Integrating systems biology models and biomedical ontologies.

BACKGROUND: Systems biology is an approach to biology that emphasizes the structure and dynamic behavior of biological systems and the interactions that occur within them. To succeed, systems biology crucially depends on the accessibility and integration of data across domains and levels of granularity. Biomedical ontologies were developed to facilitate such an integration of data and are often used to annotate biosimulation models in systems biology. RESULTS: We provide a framework to integrate representations of in silico systems biology with those of in vivo biology as described by biomedical ontologies and demonstrate this framework using the Systems Biology Markup Language. We developed the SBML Harvester software that automatically converts annotated SBML models into OWL and we apply our software to those biosimulation models that are contained in the BioModels Database. We utilize the resulting knowledge base for complex biological queries that can bridge levels of granularity, verify models based on the biological phenomenon they represent and provide a means to establish a basic qualitative layer on which to express the semantics of biosimulation models. CONCLUSIONS: We establish an information flow between biomedical ontologies and biosimulation models and we demonstrate that the integration of annotated biosimulation models and biomedical ontologies enables the verification of models as well as expressive queries. Establishing a bi-directional information flow between systems biology and biomedical ontologies has the potential to enable large-scale analyses of biological systems that span levels of granularity from molecules to organisms.

Multiple ontologies in action: composite annotations for biosimulation models.

There now exists a rich set of ontologies that provide detailed semantics for biological entities of interest. However, there is not (nor should there be) a single source ontology that provides all the necessary semantics for describing biological phenomena. In the domain of physiological biosimulation models, researchers use annotations to convey semantics, and many of these annotations require the use of multiple reference ontologies. Therefore, we have developed the idea of composite annotations that access multiple ontologies to capture the physics-based meaning of model variables. These composite annotations provide the semantic expressivity needed to disambiguate the often-complex features of biosimulation models, and can be used to assist with model merging and interoperability. In this paper, we demonstrate the utility of composite annotations for model merging by describing their use within SemGen, our semantics-based model composition software. More broadly, if orthogonal reference ontologies are to meet their full potential, users need tools and methods to connect and link these ontologies. Our composite annotations and the SemGen tool provide one mechanism for leveraging multiple reference ontologies.

Physical properties of biological entities: an introduction to the ontology of physics for biology.

As biomedical investigators strive to integrate data and analyses across spatiotemporal scales and biomedical domains, they have recognized the benefits of formalizing languages and terminologies via computational ontologies. Although ontologies for biological entities-molecules, cells, organs-are well-established, there are no principled ontologies of physical properties-energies, volumes, flow rates-of those entities. In this paper, we introduce the Ontology of Physics for Biology (OPB), a reference ontology of classical physics designed for annotating biophysical content of growing repositories of biomedical datasets and analytical models. The OPB's semantic framework, traceable to James Clerk Maxwell, encompasses modern theories of system dynamics and thermodynamics, and is implemented as a computational ontology that references available upper ontologies. In this paper we focus on the OPB classes that are designed for annotating physical properties encoded in biomedical datasets and computational models, and we discuss how the OPB framework will facilitate biomedical knowledge integration.

Composite annotations: requirements for mapping multiscale data and models to biomedical ontologies.

Current methods for annotating biomedical data resources rely on simple mappings between data elements and the contents of a variety of biomedical ontologies and controlled vocabularies. Here we point out that such simple mappings are inadequate for large-scale multiscale, multidomain integrative "virtual human" projects. For such integrative challenges, we describe a "composite annotation" schema that is simple yet sufficiently extensible for mapping the biomedical content of a variety of data sources and biosimulation models to available biomedical ontologies.

Advances in semantic representation for multiscale biosimulation: a case study in merging models.

As a case-study of biosimulation model integration, we describe our experiences applying the SemSim methodology to integrate independently-developed, multiscale models of cardiac circulation. In particular, we have integrated the CircAdapt model (written by T. Arts for MATLAB) of an adapting vascular segment with a cardiovascular system model (written by M. Neal for JSim). We report on three results from the model integration experience. First, models should be explicit about simulations that occur on different time scales. Second, data structures and naming conventions used to represent model variables may not translate across simulation languages. Finally, identifying the dependencies among model variables is a non-trivial task. We claim that these challenges will appear whenever researchers attempt to integrate models from others, especially when those models are written in a procedural style (using MATLAB, Fortran, etc.) rather than a declarative format (as supported by languages like SBML, CellML or JSim's MML).

Bridging biological ontologies and biosimulation: the ontology of physics for biology.

We introduce and define the Ontology of Physics for Biology (OPB), a reference ontology of physical principles that bridges the gap between bioinformat-ics modeling of biological structures and the bio-simulation modeling of biological processes. Where-as modeling anatomical entities is relatively well-studied, representing the physics-based semantics of biosimulation and biological processes remains an open research challenge. The OPB bridges this semantic gap-linking the semantics of biosimulation mathematics to structural bio-ontologies. Our design of the OPB is driven both by theory and pragmatics: we have applied systems dynamics theory to build an ontology with pragmatic use for annotating biosimulation models.

Integration of multi-scale biosimulation models via light-weight semantics.

Currently, biosimulation researchers use a variety of computational environments and languages to model biological processes. Ideally, researchers should be able to semiautomatically merge models to more effectively build larger, multi-scale models. However, current modeling methods do not capture the underlying semantics of these models sufficiently to support this type of model construction. In this paper, we both propose a general approach to solve this problem, and we provide a specific example that demonstrates the benefits of our methodology. In particular, we describe three biosimulation models: (1) a cardio-vascular fluid dynamics model, (2) a model of heart rate regulation via baroreceptor control, and (3) a sub-cellular-level model of the arteriolar smooth muscle. Within a light-weight ontological framework, we leverage reference ontologies to match concepts across models. The light-weight ontology then helps us combine our three models into a merged model that can answer questions beyond the scope of any single model.

Chalkboard: ontology-based pathway modeling and qualitative inference of disease mechanisms.

We introduce Chalkboard, a prototype tool for representing and displaying cell-signaling pathway knowledge, for carrying out simple qualitative reasoning over these pathways, and for generating quantitative biosimulation code. The design of Chalkboard has been driven by the need to quickly model and visualize alternative hypotheses about uncertain pathway knowledge. Chalkboard allows the biologists to test in silico the implications of various hypotheses. To fulfill this need, chalkboard includes (1) a rich ontology of pathway entities and interactions, which is ultimately informed by the basic chemistry and physics among molecules, and (2) a form of qualitative reasoning that computes causal chains and feedback loops within the network of entities and reactions. We demonstrate Chalkboard's capabilities in the domain of APP proteolysis, a pathway that plays a key role in the pathogenesis of Alzheimer's disease. In this pathway (as is common), information is incomplete and parts of the pathways are conjectural, rather than experimentally verified. With Chalkboard, we can carry out in silico perturbation experiments and explore the consequences of different conjectural connections and relationships in the network. We believe that pathway reasoning capabilities and in silico experiments will become a critical component of the hypothesis generation phase of modern biological research.

Ontology-based representation of simulation models of physiology.

Dynamic simulation models of physiology are often represented as a set of mathematical equations. Such models are very useful for studying and understanding the dynamic behavior of physiological variables. However, the sheer number of equations and variables can make these models unwieldy, difficult to under-stand, and challenging to maintain. We describe a symbolic, ontologically-guided methodology for representing a physiological model of the circulation. We created an ontology describing the types of equations in the model as well as the anatomic components and how they are connected to form a circulatory loop. The ontology provided an explicit representation of the model, both its mathematical and anatomic content, abstracting and hiding much of the mathematical complexity. The ontology also provided a framework to construct a graphical representation of the model, providing a simpler visualization than the large set of mathematical equations. Our approach may help model builders to maintain, debug, and extend simulation models.

A strategy for improving and integrating biomedical ontologies.

The integration of biomedical terminologies is indispensable to the process of information integration. When terminologies are linked merely through the alignment of their leaf terms, however, differences in context and ontological structure are ignored. Making use of the SNAP and SPAN ontologies, we show how three reference domain ontologies can be integrated at a higher level, through what we shall call the OBR framework (for: Ontology of Biomedical Reality). OBR is designed to facilitate inference across the boundaries of domain ontologies in anatomy, physiology and pathology.

Evolution of a Foundational Model of Physiology: symbolic representation for functional bioinformatics.

We describe the need for a Foundational Model of Physiology (FMP) as a reference ontology for "functional bioinformatics". The FMP is intended to support symbolic lookup, logical inference and mathematical analysis by integrating descriptive, qualitative and quantitative functional knowledge. The FMP will serve as a symbolic representation of biological functions initially pertaining to human physiology and ultimately extensible to other species. We describe the evolving architecture of the FMP, which is based on the ontological principles of the BioD biological description language and the Foundational Model of Anatomy (FMA).