A semantic reasoner is also known as a rules engine, a reasoning engine, or a reasoner. This software is capable of inferring logical consequences from the available set of axioms or asserted facts.