The query option ignoreImports allows you to run a query without the import rules. Import rules normally map facts and rules from the imported module into the importing module.

Example

Ontology m1:

:- module = m1.

A[name=>string].

Second Ontology:

:- module = _defaultModule.

:- import m1.

B::A.

The query

?- B[?P *=> ?R]@_defaultModule.

returns one result (P=name, R=string).

But the query

@{q1, options[ignoreImports]} ?- B[?P *=> ?R].

returns no result.