Abductive Reasoning

Infers the best explanation for an inconsistent set of ontology statements by creating new ontology statements to explain them.