1. A computer implemented method for verification of hypotheses against ontologies, the method comprising: receiving a hypothesis as a set of belief axioms and/or assertions; receiving an ontology as a set of axioms and/or assertions presumed to be true; testing whether the axioms and assertions in the hypothesis are either supported or contradicted by the axioms and assertions in the ontology;