OWLIM-SE Reasoner

compared with
Version 3 by barry.bishop
on Nov 07, 2012 00:44.

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

Changes (3)

View Page History
* it operates over so-called generalized RDF graphs, where blank nodes can appear as predicates (a possibility disallowed in RDF);
* rules without premises are used to declare axiomatic statements;
* rules without consequences are used to detect inconsistency inconsistencies (integrity constraints).

OWLIM uses a notation almost identical to R-Entailment defined by Horst. OWLIM-SE performs reasoning based on forward-chaining of entailment rules defined using RDF triple patterns with variables. OWLIM-SE's reasoning strategy is one of 'materialisation', which is introduced in the OWLIM Primer in the Reasoning Strategies topic
h4. Consistency checks

Consistency checks are used to ensure that the data model is in a consistent state and are applied whenever an update transaction is committed. The syntax is similar to that of rules, except that {{Consistency}} replaces the {{Id}} tag that introduces normal rules. Also consistency checks do not need to have any consequences and will indicate an inconsistency whenever their premises can be satisfied, e.g.

{noformat}
{noformat}

When a transaction is committed, if committed and consistency checking is switched on (it is off by default - see the [configuration section|OWLIM-SE Configuration]) and then if any consistency check(s) fail then:
* A message is logged with the details of what consistency checks failed
* An exception is thrown with the same details