Previous topic  Top  Next topic  Print this Topic

Turn Off Inferencing: inferOff


You may tell the OntoBroker not to do inferencing for query answering. This will prohibit the evaluation of all rules and you will get only the given facts matching your query (only asserted facts are returned, no derived facts):

@{q1, options[inferOff]} ?- ?X::?Y.

NOTE: The behaviour of the query option 'inferOff' has been changed when ontology imports are involved. E.g.

@{options[inferOff]} ?- ?X:?Y.<br>

will now return asserted facts also from imported modules. If you do not want to receive facts from imported modules you can combine 'inferOff' with 'ignoreImports':

@{options[inferOff,ignoreImports]} ?- ?X:?Y.