Download DLEJena >
Download the latest version

Template Rules
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.
Last update: November 28, 2008 by Georgios Meditskos