Automated verification of hypotheses using ontologies

摘要

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.

主权项

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 first order logic form; reading an address for one or more premise axioms; 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 for the hypothesis and the ontology; accessing the one or more premise axioms using the address that was read for the premise axioms; determining whether the ontology either corroborates or contradicts the hypothesis together with the one or more premise axioms by performing the following:
executing a semantic reasoner configured to:
evaluate consistency of each of the hypothesis axioms and the premise axioms with the ontology axioms; andevaluate consistency of a negation of each of the hypothesis axioms and the premise axioms with the ontology axioms; andwherein if all of the hypothesis axioms and all of the premise axioms are consistent with the ontology axioms, and if the negation of all of the hypothesis axioms and all of the premise axioms are inconsistent with the ontology axioms, then the ontology corroborate the hypothesis together with the premise axioms; andwherein if all of the hypothesis axioms and all of the premise axioms are inconsistent with the ontology axioms, and if the negation of all of the hypothesis axioms and all of the premise axioms are consistent with the ontology axioms, then the ontology contradicts the hypothesis together with the premise axioms; 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.