Posterior Regularized Bayesian Neural Network Incorporating Soft and Hard Knowledge Constraints