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:
“It is comparison than makes people miserable.”
—Chinese proverb.