@Override public SuperClassFromSubClassRule create(ChainableSubsumerRule tail) { return new SuperClassFromSubClassRule(tail); } };
@Override public SuperClassFromSubClassRule create(ChainableSubsumerRule tail) { return new SuperClassFromSubClassRule(tail); } };
@Override public SuperClassFromSubClassRule create(ChainableSubsumerRule tail) { return new SuperClassFromSubClassRule(tail); } };
public static boolean removeRuleFor(ModifiableIndexedSubClassOfAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.remove(axiom.getSubClass(), new SuperClassFromSubClassRule(axiom.getSuperClass(), reason)); }
public static boolean addRuleFor(ModifiableIndexedSubClassOfAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.add(axiom.getSubClass(), new SuperClassFromSubClassRule( axiom.getSuperClass(), reason)); }
public static boolean removeRuleFor(ModifiableIndexedSubClassOfAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.remove(axiom.getSubClass(), new SuperClassFromSubClassRule(axiom.getSuperClass(), reason)); }
public static boolean addRuleFor(ModifiableIndexedSubClassOfAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.add(axiom.getSubClass(), new SuperClassFromSubClassRule( axiom.getSuperClass(), reason)); }
public static boolean addRuleFor(ModifiableIndexedSubClassOfAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.add(axiom.getSubClass(), new SuperClassFromSubClassRule( axiom.getSuperClass(), reason)); }
public static boolean removeRuleFor(ModifiableIndexedSubClassOfAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.remove(axiom.getSubClass(), new SuperClassFromSubClassRule(axiom.getSuperClass(), reason)); }