This book introduces semantic representations of multiscale, multidomain physiological systems that link to qualitative reasoning and to quantitative analysis of biophysical processes in health and disease. Two major public health problems, diabetes and hypertension, serve as use-cases to illustrate the depth and rigor of such representations for logical inference and quantitative analysis. Central to this approach is the Ontology of Physics for Biology (OPB) that formally represe...