Deductive Reasoning

Uses a set of axioms and logical inference rules to draw conclusions from an ontology.