elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/contextinit/OwlThingContextInitRule.java
public static boolean removeRuleFor(IndexedClass owlThing,
			ModifiableOntologyIndex index) {
		LOGGER_.trace("{}: removing {}", owlThing, NAME);
		return index
				.removeContextInitRule(new OwlThingContextInitRule(owlThing));
	}
public static boolean removeRuleFor(IndexedClass owlThing,
			ModifiableOntologyIndex index) {
		LOGGER_.trace("{}: removing {}", owlThing, NAME);
		return index
				.removeContextInitRule(new OwlThingContextInitRule(owlThing));
	}
public static boolean removeRuleFor ( IndexedClass owlThing , ModifiableOntologyIndex index ) { LOGGER_ . trace ( "{}: removing {}" , owlThing , NAME ) ; return index . removeContextInitRule ( new OwlThingContextInitRule ( owlThing ) ) ; }
Removes an {@link OwlThingContextInitRule} from the given
{@link ModifiableOntologyIndex}

@param owlThing
@param index
@return {@code true} if the operation was successful and {@code false}
otherwise; if {@code false} is returned, the index remains
unchanged
Removes an { @link OwlThingContextInitRule } from the given { @link ModifiableOntologyIndex }