OWLIM-Lite Reasoner

Version 1 by barry.bishop
on Oct 14, 2011 08:15.

compared with
Key
This line was removed.
This word was removed. This word was added.
This line was added.

Changes (4)

View Page History
| owl-max | RDFS and that part of OWL-Lite that can be captured in rules (deriving functional and inverse functional properties, all-different, subclass by union/enumeration; min/max cardinality constraints, etc) |
| owl2-ql | The OWL2 QL profile -- a fragment of OWL2 Full designed so that sound and complete query answering is LOGSPACE with respect to the size of the data. This OWL2 profile is based on DL-Lite{~}R~, a variant of DL-Lite that does not require the unique name assumption. |
| owl2-rl-reduced | The OWL2 RL profile -- an expressive fragment of OWL2 Full that is amenable for implementation on rule-engines without the {{prp-key}} rule for efficiency reasons. |
| owl2-rl-conf | The conformant, but less efficient, OWL2 RL profile that includes the {{prp-key}} rule. |


{note}Note that all rule-sets do not support data-type reasoning, which is the main reason that OWL-Horst is not the same as {{pD\*}}. The rule-set to be used for a specific repository is defined through the *ruleset* parameter. There are optimized versions of all rule-sets that avoid some little used inferences.
{note}

h2. OWL2 RL non-conformance

The OWLIM-Lite reasoner does not support the quad patterns that are available in OWLIM-SE. Therefore it manages auxiliary ternary predicates (associated with the expansion of LIST structures in the bodies of [OWLIM2-RL entailment rules|http://www.w3.org/TR/owl-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules]) using blank nodes. This is much less efficient than OWLIM-SE, so it is provided in two versions. {{owl2-rl-conf}} contains all the rules, but is not recommended for datasets larger and a few tens of thousands of statements. {{owl2-rl-reduced}} is identical, except that the {{prp-key}} rule has been removed. This makes it suitable for datasets of several hundreds of thousands of statements.

h2. OWL2 QL non-conformance