an class="extype" name="it.unibz.inf.ontop.model.term.ImmutableTerm">ImmutableTerm</span>]</span>, <span name="termFactory">termFactory: <span class="extype" name="it.unibz.inf.ontop.model.term.TermFactory">TermFactory</span></span>, <span name="typeFactory">typeFactory: <span class="extype" name="it.unibz.inf.ontop.model.type.TypeFactory">TypeFactory</span></span>, <span name="substitutionFactory">substitutionFactory: <span class="extype" name="it.unibz.inf.ontop.substitution.SubstitutionFactory">Substitut