Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms