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:
“The comparison between Coleridge and Johnson is obvious in so far as each held sway chiefly by the power of his tongue. The difference between their methods is so marked that it is tempting, but also unnecessary, to judge one to be inferior to the other. Johnson was robust, combative, and concrete; Coleridge was the opposite. The contrast was perhaps in his mind when he said of Johnson: “his bow-wow manner must have had a good deal to do with the effect produced.””
—Virginia Woolf (1882–1941)