elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/rules/subsumers/ObjectIntersectionFromFirstConjunctRule.java
public static boolean removeRulesFor(
			ModifiableIndexedObjectIntersectionOf conjunction,
			ModifiableOntologyIndex index) {
		return index.remove(
				conjunction.getSecondConjunct(),
				new ObjectIntersectionFromFirstConjunctRule(conjunction
						.getFirstConjunct(), conjunction));
	}
public static boolean removeRulesFor(
			ModifiableIndexedObjectIntersectionOf conjunction,
			ModifiableOntologyIndex index) {
		return index.remove(
				conjunction.getSecondConjunct(),
				new ObjectIntersectionFromFirstConjunctRule(conjunction
						.getFirstConjunct(), conjunction));
	}
public static boolean removeRulesFor ( ModifiableIndexedObjectIntersectionOf conjunction , ModifiableOntologyIndex index ) { return index . remove ( conjunction . getSecondConjunct ( ) , new ObjectIntersectionFromFirstConjunctRule ( conjunction . getFirstConjunct ( ) , conjunction ) ) ; }
Removes {@link ObjectIntersectionFromFirstConjunctRule}s for the given
{@link ModifiableIndexedObjectIntersectionOf} in the given
{@link ModifiableOntologyIndex}

@param conjunction
@param index
Removes { @link ObjectIntersectionFromFirstConjunctRule } s for the given { @link ModifiableIndexedObjectIntersectionOf } in the given { @link ModifiableOntologyIndex }