A template rule is a production rule whose head defines another production rule.
DLEJena is based on such template rules for implementing the OWL 2 RL/RDF rules
related to the ABox model(TBox reasoning is performed by Pellet).
There are two types of ABox rules:
Both types can be represented using template rules. In the case of exceptional rules, each template rule
has an empty body and produces a single production rule. However, in the case of
the hybid rules, a template rule produces, in general, more than one production rule.
These rules are simpler than the initial hybrid rule and they are activated faster, resulting in a faster ABox
reasoning procedure than of using predefined entailments.
Here you can find the list of the default tempate rules of DLEJena.
Hybrid rules. These rules are based both on ABox and TBox knowledge in their body in order to
derive ABox-related triples.
Exceptional rules. These rules are based only on ABox knowledge in their body
in order to deduce ABox-related triples.