Reasoner Comparison
BaseVISor | Bossam | Cyc | Hoolet | Pellet | KAON2 | RacerPro | Jena | FaCT | FaCT++ | SweetRules | OWLIM | OntoBroker | HermiT | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
OWL-DL Entailment | No | Unknown | Yes | Yes | Yes | Yes | Yes | No complete reasoner included with standard distribution | Yes | Yes | No | No | Yes | Yes |
Supported expressivity for reasoning | R-entailment, OWL 2 RL | Unknown | High-order | Unknown | SROIQ(D) | SHIQ(D) | SHIQ(D-) | varies by reasoner (incomplete for nontrivial description logics) | SHIQ | SROIQ(D) | Unknown | R-entailment, OWL 2 RL | OWL: SHIQ(D) (for OntoBroker 6.1: Subset of OWL-RL); F-logic: normal logic, wellfounded semantics | SHOIQ+ |
Reasoning algorithm | Rule-based, Rete | Rule-based | First-order with high-order extensions | First-order prover | Tableau | Resolution & Datalog | Tableau | Rule-based | Tableau | Tableau | Rule-based | Rule-based | OWL: Resolution & Datalog; F-logic: Rule-based (BottomUp, MagicSet, Dynamic-Filtering, QSQ) | Hypertableau |
Consistency checking | Yes | Unknown | Yes | Yes | Yes | Yes | Yes | Incomplete for OWL DL | Yes | Yes | No | Yes | Yes | Yes |
DIG Support | No | No | No | No | Deprecated | Deprecated | Deprecated | Yes | Yes | Yes | No | No | Yes | No |
Rule Support | Yes (Own rule format) | Yes (SWRL & own rule format) | Yes (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) | Yes (SWRL, RIF, F-logic, ObjectLogic) | Yes (SWRL—DL Safe Rules) |
Version | 2.0 | 0.9b45 | Unknown | Unknown | 2.0.2 | 2008-06-29 | 2.0 preview | 2.5.4 | Unknown | 1.6.0 | 2.1 | 2.x/3.x | 6.1 | 1.3.6 |
Licensing | Free to use / closed-source | Free to use / closed-source | Free to use / closed-source (academic and research only) & Non-Free / closed-source | Free / open-source | Free / open-source & Non-Free/ closed-source | Free to use / closed-source | Non-Free/ closed-source | Free / open-source | Free / open-source | Free / open-source | Free / open-source | Non-Free/ closed-source | Non-Free/ closed-source | Free / open-source |
Read more about this topic: Semantic Reasoner
Famous quotes containing the word comparison:
“From top to bottom of the ladder, greed is aroused without knowing where to find ultimate foothold. Nothing can calm it, since its goal is far beyond all it can attain. Reality seems valueless by comparison with the dreams of fevered imaginations; reality is therefore abandoned.”
—Emile Durkheim (18581917)