elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/DummyRuleVisitor.java
protected <P> O defaultVisit(Rule<P> rule, P premise,
			ContextPremises premises, ClassInferenceProducer producer) {
		if (LOGGER_.isTraceEnabled()) {
			LOGGER_.trace("ignore {} by {} in {}", premise, rule, premises);
		}
		return null;
	}
protected <P> O defaultVisit(Rule<P> rule, P premise,
			ContextPremises premises, ClassInferenceProducer producer) {
		if (LOGGER_.isTraceEnabled()) {
			LOGGER_.trace("ignore {} by {} in {}", premise, rule, premises);
		}
		return null;
	}
The default implementation of all methods

@param rule
@param premise
@param premises
@param producer
@return