A Knowledge Graph Reasoner — also called an inference engine, rules engine, or semantic engine — is an AI-enabled system that can infer facts from an underlying knowledge graph based on a set of established axioms or rules. New knowledge graph facts can be inferred by a reasoner through deduction or induction. In contemporary knowledge graphs, reasoners typically rely on machine learning to greatly expand the range and scale of fact generation.
See also, inference engines, induction.