On Axiomatizing Probabilistic Conditional Independencies in Bayesian Networks