Reasoning about Bayesian Network Classifiers