In many cases, a single inferencing state is sufficient and the initial inferencing state named
:default
can be used without any special effort.
To allow several independent inferencing operations to be performed simultaneously, multiple inferencing states must be managed explicitly. Some typical situations are described below.