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