Semantic reasoner
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
logic reasoner.
Contents
[hide]
1 Semantic reasoners, etc.
2 Reasoner comparison
3 See also
4 External links
5 References
[edit]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
[1]
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.
[edit]Reasoner comparison
Bossam Hoolet Pellet KAON2 RacerPro Jena FaCT FaCT++ Sw
No complete
reasoner
OWL-DL Entailment Unknown Yes Yes Yes Yes included with Yes Yes
standard
distribution
varies by
reasoner
(incomplete
Supported expressivity for reasoning Unknown Unknown SROIQ(D) SHIQ(D) SHIQ(D-) SHIQ SROIQ(D) U
for nontrivial
description
logics)
First-
Rule- Resolution
Reasoning algorithm order Tableau Tableau Rule-based Tableau Tableau Ru
based & Datalog
prover
Incomplete for
Consistency checking Unknown Yes Yes Unknown Yes Yes Yes
OWL DL
DIG Support No No Yes Yes Yes Yes Yes Yes
Yes (SWRL
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
format) Rules)
format
Version 0.9b45 Unknown 2.0 RC7 Unknown 2.0 preview 2.5.4 Unknown 1.1.8
Free/ open-
Free/ Free/ source & Free/ Non-Free/ Free/ Free/
Free/ open- Fr
Licencing closed- open- Non-Free/ closed- closed- open- open-
source
source source closed- source source source source
source