From Wikipedia, the free encyclopedia
(Redirected from Reasoning engine)
"Reasoner" redirects here. For other uses, see Reasoner (disambiguation).
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.
The inference rules are commonly specified by means of an ontology language, and often a description
language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly
proceeds by forward chaining and backward chaining. There are also examples of probabilistic
reasoners, including Pei Wang's non-axiomatic reasoning system, Novamente's probabilistic logic
network, which tip their hat to reasoning Bayesian networks, and Pronto - probabilistic description
1 Semantic reasoners, etc.
2 Reasoner comparison
3 See also
4 External links
Semantic reasoners, etc.
Existing semantic reasoners and related software:
Bossam (software), an RETE-based rule engine with native supports for reasoning over OWL
ontologies, SWRL ontologies, and RuleML rules.
DLog, Resolution based Description Logic ABox reasoner that translates to Prolog.
FaCT, a description logic (DL) classifier.
FaCT++, the new generation of FaCT OWL-DL reasoner.
Hoolet, reasons over OWL-DL ontologies by translating them to full first-order logic and then applying
a first-order theorem prover.
Jena (framework), an open source semantic web framework for Java which includes a number of
different semantic reasoning modules.
KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies.
OWLIM, a high-performance semantic repository developed in Java and available in two versions:
free SwiftOWLIM and commercial BigOWLIM. Supports a subset of OWL-Lite semantics, which can
be configured through rule-set definition and selection.
Pellet, an open-source Java OWL DL reasoner.
RacerPro, a semantic web reasoning system and information repository
SHER, a scalable Pellet-backed OWL DL reasoner.
SweetRules, an integrated set of tools for Semantic web rules and ontologies.
Bossam Hoolet Pellet KAON2 RacerPro Jena FaCT FaCT++ Sw
OWL-DL Entailment Unknown Yes Yes Yes Yes included with Yes Yes
Supported expressivity for reasoning Unknown Unknown SROIQ(D) SHIQ(D) SHIQ(D-) SHIQ SROIQ(D) U
Reasoning algorithm order Tableau Tableau Rule-based Tableau Tableau Ru
based & Datalog
Consistency checking Unknown Yes Yes Unknown Yes Yes Yes
DIG Support No No Yes Yes Yes Yes Yes Yes
Yes (SWRL -- not fully Ye
(SWRL & Yes (SWRL -- Yes (Own rule
Rule Support -- DL Safe supported) No No R
own rule (SWRL) DL Safe format)
Rules) & own rule
Version 0.9b45 Unknown 2.0 RC7 Unknown 2.0 preview 2.5.4 Unknown 1.1.8
Free/ Free/ source & Free/ Non-Free/ Free/ Free/
Free/ open- Fr
Licencing closed- open- Non-Free/ closed- closed- open- open-
source source closed- source source source source