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

Open in new window