OWLIM-SE Reasoner

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

compared with
Current by barry.bishop
on Mar 23, 2012 12:42.

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

Changes (1)

View Page History

{info}The handling of {{owl:sameAs}} is technically a kind of backward chaining that occurs at query time, when equivalent URIs are enumerated and substituted in to query results. It should be noted that this will occur even when the 'empty' (no inference) rule-set is selected, i.e. even with no semantics selected {{owl:sameAs}} is still interpreted in a special way.
However, the {{owl:sameAs}} optimisation can be disabled completely using the {{disable-sameAs}} configuration parameter, see the [configuration section|BigOWLIM section|OWLIM-SE Configuration] for details.{info}