Semantic reasoner

Document Sample
Semantic reasoner Powered By Docstoc
					    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

				
DOCUMENT INFO
Shared By:
Categories:
Tags:
Stats:
views:9
posted:12/1/2011
language:English
pages:2