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.
4. The method of claim 1 , further comprising taking into account one or more justifications for an inconsistency of the KB to ensure that there is no interaction between a contradictory part of the KB and a consistent subset that entails the query solution.