Package it.unibz.inf.ontop.iq.optimizer

Interface TermTypeTermLifter

  • All Superinterfaces:
    IQOptimizer
    All Known Implementing Classes:
    TermTypeTermLifterImpl
    public interface TermTypeTermLifter
extends IQOptimizer
    Makes sure that terms with a MetaTermType only appears in the top construction node