The Full Wiki

Semantic reasoner: Wikis


Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.


From Wikipedia, the free encyclopedia

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.


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.[1]
  • 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.

Reasoner comparison

Bossam Hoolet Pellet KAON2 RacerPro Jena FaCT FaCT++ SweetRules OWLIM
OWL-DL Entailment Unknown Yes Yes Yes Yes No complete reasoner included with standard distribution Yes Yes No No
Supported expressivity for reasoning Unknown Unknown SROIQ(D) SHIQ(D) SHIQ(D-) varies by reasoner (incomplete for nontrivial description logics) SHIQ SROIQ(D) Unknown R-entailment
Reasoning algorithm Rule-based First-order prover Tableau Resolution & Datalog Tableau Rule-based Tableau Tableau Rule-based Rule-based
Consistency checking Unknown Yes Yes Unknown Yes Incomplete for OWL DL Yes Yes No No
DIG Support No No Yes Yes Yes Yes Yes Yes No No
Rule Support Yes (SWRL & own rule format) Yes (SWRL) Yes (SWRL -- DL Safe Rules) Yes (SWRL -- DL Safe Rules) Yes (SWRL -- not fully supported) & own rule format Yes (Own rule format) No No Yes (SWRL, RuleML, Jess) Yes (Own format)
Version 0.9b45 Unknown 2.0 RC7 Unknown 2.0 preview 2.5.4 Unknown 1.1.8 2.1 2.x/3.x
Licencing Free/ closed-source Free/ open-source Free/ open-source & Non-Free/ closed-source Free/ closed-source Non-Free/ closed-source Free/ open-source Free/ open-source Free/ open-source Free/ open-source Free/ open-source & Non-Free/ closed-source

See also

External links


  1. ^ [1]


Got something to say? Make a comment.
Your name
Your email address