1. A method for computing a solution to a query formulated against a knowledge base (KB), wherein the method comprises: receiving a query formulated against a knowledge base, wherein the knowledge base comprises a set of one or more axioms, wherein each axiom is annotated with a specific probability value indicating a degree of certainty assigned thereto; ignoring each probability value of the one or more axioms and computing a solution to the query; computing each of one or more justifications for the query solution, wherein computing each of one or more justifications for the query solution comprises determining a minimal set of one or more axioms in the knowledge base that entail the query solution; and using each probability value of the one or more axioms in each justification to compute a net probability of an inferred query solution.