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.
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. 8. The method of claim 1 , wherein the query solution satisfies one or more constraints, wherein the one or more constraints comprise: there exists a consistent sub-knowledge base of the knowledge base such that the query solution is a first order logic answer of the query against the sub-knowledge base; and the query solution is not a local answer to not(Q) against the knowledge base, wherein Q is the query.