|
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:
-
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.
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. |
