On automatic knowledge validation for Bayesian knowledge bases