@Override public EquivalentClassSecondFromFirstRule create( ChainableSubsumerRule tail) { return new EquivalentClassSecondFromFirstRule(tail); } };
@Override public EquivalentClassSecondFromFirstRule create( ChainableSubsumerRule tail) { return new EquivalentClassSecondFromFirstRule(tail); } };
@Override public EquivalentClassSecondFromFirstRule create( ChainableSubsumerRule tail) { return new EquivalentClassSecondFromFirstRule(tail); } };
public static boolean removeRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.remove(axiom.getFirstMember(), new EquivalentClassSecondFromFirstRule(axiom.getSecondMember(), reason)); }
public static boolean addRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.add(axiom.getFirstMember(), new EquivalentClassSecondFromFirstRule(axiom.getSecondMember(), reason)); }
public static boolean removeRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.remove(axiom.getFirstMember(), new EquivalentClassSecondFromFirstRule(axiom.getSecondMember(), reason)); }
public static boolean addRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.add(axiom.getFirstMember(), new EquivalentClassSecondFromFirstRule(axiom.getSecondMember(), reason)); }
public static boolean removeRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.remove(axiom.getFirstMember(), new EquivalentClassSecondFromFirstRule(axiom.getSecondMember(), reason)); }
public static boolean addRuleFor( ModifiableIndexedEquivalentClassesAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.add(axiom.getFirstMember(), new EquivalentClassSecondFromFirstRule(axiom.getSecondMember(), reason)); }