Using SKOS to formalize parameter estimation in systems biology