Integrating knowledge representation and quantitative modelling in physiology