18. A system for computing a solution to a query formulated against a knowledge base (KB), comprising: a memory; and at least one processor coupled to the memory and operative to: receive 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; ignore each probability value of the one or more axioms and computing a solution to the query; compute 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 use each probability value of the one or more axioms in each justification to compute a net probability of an inferred query solution.
20. The system of claim 18 , wherein the at least one processor coupled to the memory is further operative to output the query solution to a display.