@Override public O visit(ModifiableElkDeclarationAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkSubObjectPropertyOfAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkDisjointUnionAxiomEquivalenceConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkSameIndividualAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkDisjointUnionAxiomOwlNothingConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkDifferentIndividualsAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkEquivalentObjectPropertiesAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkReflexiveObjectPropertyAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkDisjointClassesAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkDisjointUnionAxiomEquivalenceConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkDisjointUnionAxiomBinaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkDisjointUnionAxiomOwlNothingConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkEquivalentObjectPropertiesAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkDisjointUnionAxiomBinaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkDisjointUnionAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkDisjointUnionAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkDeclarationAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkObjectPropertyDomainAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit( ModifiableElkDisjointClassesAxiomBinaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ModifiableElkDisjointClassesAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }