Rule Engines - Reasoner Comparison

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: