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.