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: Rule Engines
Famous quotes containing the word comparison:
“But the best read naturalist who lends an entire and devout attention to truth, will see that there remains much to learn of his relation to the world, and that it is not to be learned by any addition or subtraction or other comparison of known quantities, but is arrived at by untaught sallies of the spirit, by a continual self-recovery, and by entire humility.”
—Ralph Waldo Emerson (1803–1882)