Interface OwlModule.LabelledFormulaTransformer