A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms.
The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with.
Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining.
[2] Notable semantic reasoners and related software: S-LOR (Sensor-based Linked Open Rules) semantic reasoner S-LOR is under GNU GPLv3 license.
S-LOR (Sensor-based Linked Open Rules) is a rule-based reasoning engine and an approach for sharing and reusing interoperable rules to deduce meaningful knowledge from sensor measurements.