1. A method on a computer for determining whether a hypothesis is verified by one or more ontologies, the method comprising: reading an address for a hypothesis comprised of one or more hypothesis axioms, wherein an axiom is represented in description logic form; reading an address for an ontology comprised of one or more ontology axioms; accessing the hypothesis and the ontology using the addresses that were read; determining whether the ontology either corroborates or contradicts the hypothesis; wherein if the ontology corroborates the hypothesis, identifying a first set of ontology axioms that corroborate the hypothesis; wherein if the ontology contradicts the hypothesis, identifying a second set of ontology axioms that contradict the hypothesis; and displaying a graphic indicating either corroboration or contradiction of the hypothesis, displaying the first set of ontology axioms together with a graphic indicating corroboration of the hypothesis and displaying the second set of ontology axioms together with a graphic indicating contradiction of the hypothesis.