11. A computer program product comprising a tangible computer readable recordable storage medium including computer useable program code for computing a solution to a query formulated against a knowledge base (KB), the computer program product including: computer useable program code for 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; computer useable program code for ignoring each probability value of the one or more axioms and computing a solution to the query; computer useable program code for 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 computer useable program code for using each probability value of the one or more axioms in each justification to compute a net probability of an inferred query solution.
13. The computer program product of claim 11 , further comprising computer useable program code for comprising outputting the query solution to a display.