Semantic reasoner

<p>A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer <a href="/facts/Logical_consequence/AyDXp4dn">logical consequences</a> from a set of asserted facts or <a href="/facts/Axioms/mLjP14Mc">axioms</a>. The notion of a semantic reasoner generalizes that of an <a href="/facts/Inference_engine/oLlNX14Q">inference engine</a>, by providing a richer set of mechanisms to work with. The <a href="/facts/Inference_rules/QV5NklQ9">inference rules</a> are commonly specified by means of an <a href="/facts/Ontology_language/yXLTb2z3">ontology language</a>, and often a <a href="/facts/Description_logic/9jpPaDsn">description logic</a> language.  Many reasoners use <a href="/facts/First-order_predicate_logic/lcISqWIg">first-order predicate logic</a> to perform reasoning; <a href="/facts/Inference/RBbe95bP">inference</a> commonly proceeds by <a href="/facts/Forward_chaining/FJjYIf6S">forward chaining</a> and <a href="/facts/Backward_chaining/St5dtGYq">backward chaining</a>. There are also examples of probabilistic reasoners, including non-axiomatic reasoning systems, and <a href="/facts/Probabilistic_logic_network/3aF7FFkK">probabilistic logic networks</a>.
</p>

Semantic reasoner open-in-new

Semantic reasoner