A method on a computer for determining whether a hypothesis is verified by one or more ontologies. The method includes 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 and accessing the hypothesis and the ontology using the addresses that were read. The method further includes determining whether the ontology either corroborates or contradicts the hypothesis, identifying a first set of ontology axioms that corroborate the hypothesis and identifying a second set of ontology axioms that contradict the hypothesis, 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.