@Override public SuperClassFromSubClassRule create(ChainableSubsumerRule tail) { return new SuperClassFromSubClassRule(tail); } };
@Override public boolean addOccurrence(ModifiableOntologyIndex index) { return SuperClassFromSubClassRule.addRuleFor(this, index, getOriginalAxiom()); }
@Override public boolean removeOccurrence(ModifiableOntologyIndex index) { return SuperClassFromSubClassRule.removeRuleFor(this, index, getOriginalAxiom()); }
@Override public Void visit(SuperClassFromSubClassRule rule, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedClassExpression ice : rule.getToldSubsumers()) { iceValidator_.checkNew(ice); } return null; }
@Override public SuperClassFromSubClassRule create(ChainableSubsumerRule tail) { return new SuperClassFromSubClassRule(tail); } };
@Override public boolean removeOccurrence(ModifiableOntologyIndex index) { return SuperClassFromSubClassRule.removeRuleFor(this, index, getOriginalAxiom()); }
@Override public boolean addOccurrence(ModifiableOntologyIndex index) { return SuperClassFromSubClassRule.addRuleFor(this, index, getOriginalAxiom()); }
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; SuperClassFromSubClassRule rule = ruleChain NAME, reason); int j = rule.indexOf(subsumer, reason); if (j >= 0) { rule.toldSubsumers_.remove(j); if (rule.isEmpty()) { ruleChain.remove(SuperClassFromSubClassRule.MATCHER_); LOGGER_.trace("{}: removed ", NAME);
@Override public SuperClassFromSubClassRule create(ChainableSubsumerRule tail) { return new SuperClassFromSubClassRule(tail); } };
@Override public boolean removeOccurrence(ModifiableOntologyIndex index) { return SuperClassFromSubClassRule.removeRuleFor(this, index, getOriginalAxiom()); }
@Override public boolean addOccurrence(ModifiableOntologyIndex index) { return SuperClassFromSubClassRule.addRuleFor(this, index, getOriginalAxiom()); }
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; SuperClassFromSubClassRule rule = ruleChain NAME, reason); int j = rule.indexOf(subsumer, reason); if (j >= 0) { rule.toldSubsumers_.remove(j); if (rule.isEmpty()) { ruleChain.remove(SuperClassFromSubClassRule.MATCHER_); LOGGER_.trace("{}: removed ", NAME);
public static boolean removeRuleFor(ModifiableIndexedSubClassOfAxiom axiom, ModifiableOntologyIndex index, ElkAxiom reason) { return index.remove(axiom.getSubClass(), new SuperClassFromSubClassRule(axiom.getSuperClass(), reason)); }
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; SuperClassFromSubClassRule rule = ruleChain NAME, reason); int j = rule.indexOf(subsumer, reason); if (j >= 0) { rule.toldSubsumers_.remove(j); if (rule.isEmpty()) { ruleChain.remove(SuperClassFromSubClassRule.MATCHER_); LOGGER_.trace("{}: removed ", NAME);
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)); }