Synthesis of semantic modelling and risk analysis methodology applied to animal welfare.