Семантический reasoner — software, которое infers logical consequences from asserted facts, rules или axioms. Он часто используется с ontologies и knowledge representation systems для deriving implicit relationships, validating consistency или answering logic-based queries.
(Also reasoning engine, rules engine, or simply reasoner.) 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. The inference rules are commonly specified by means of an ontology language, and often a description logic language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining.