@Override public DisjointSubsumerFromMemberRule create( ChainableSubsumerRule tail) { return new DisjointSubsumerFromMemberRule(tail); } };
@Override public boolean addOccurrence(ModifiableOntologyIndex index) { if (!DisjointSubsumerFromMemberRule.addRulesFor(this, index, getOriginalAxiom())) { return false; } return true; }
@Override public boolean removeOccurrence(ModifiableOntologyIndex index) { if (!DisjointSubsumerFromMemberRule.removeRulesFor(this, index, getOriginalAxiom())) { // revert the changes return false; } return true; }
@Override public Void visit(DisjointSubsumerFromMemberRule rule, IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { for (IndexedClassExpressionList disjoint : rule .getDisjointnessAxioms()) { if (!disjoint.occurs()) { LOGGER_.error("Dead disjointness axiom: " + disjoint); } for (IndexedClassExpression ice : disjoint.getElements()) { iceValidator_.checkNew(ice); } } return null; }
@Override public DisjointSubsumerFromMemberRule create( ChainableSubsumerRule tail) { return new DisjointSubsumerFromMemberRule(tail); } };
@Override public boolean removeOccurrence(ModifiableOntologyIndex index) { if (!DisjointSubsumerFromMemberRule.removeRulesFor(this, index, getOriginalAxiom())) { // revert the changes return false; } return true; }
@Override public boolean addOccurrence(ModifiableOntologyIndex index) { if (!DisjointSubsumerFromMemberRule.addRulesFor(this, index, getOriginalAxiom())) { return false; } return true; }
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; DisjointSubsumerFromMemberRule rule = ruleChain.find(MATCHER_); reason); int j = rule.indexOf(axiom, reason); if (j >= 0) { rule.disjointMembers_.remove(j); if (rule.isEmpty()) { ruleChain.remove(MATCHER_); LOGGER_.trace("{}: removed ", NAME);
@Override public DisjointSubsumerFromMemberRule create( ChainableSubsumerRule tail) { return new DisjointSubsumerFromMemberRule(tail); } };
@Override public boolean removeOccurrence(ModifiableOntologyIndex index) { if (!DisjointSubsumerFromMemberRule.removeRulesFor(this, index, getOriginalAxiom())) { // revert the changes return false; } return true; }
@Override public boolean addOccurrence(ModifiableOntologyIndex index) { if (!DisjointSubsumerFromMemberRule.addRulesFor(this, index, getOriginalAxiom())) { return false; } return true; }
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; DisjointSubsumerFromMemberRule rule = ruleChain.find(MATCHER_); reason); int j = rule.indexOf(axiom, reason); if (j >= 0) { rule.disjointMembers_.remove(j); if (rule.isEmpty()) { ruleChain.remove(MATCHER_); LOGGER_.trace("{}: removed ", NAME);
ModifiableIndexedClassExpression ice = members.get(pos); if (index.add(ice, new DisjointSubsumerFromMemberRule(axiom, pos, reason))) { added++; } else { new DisjointSubsumerFromMemberRule(axiom, pos, reason));
@Override public boolean removeFrom(Chain<ChainableSubsumerRule> ruleChain) { if (isEmpty()) return true; DisjointSubsumerFromMemberRule rule = ruleChain.find(MATCHER_); reason); int j = rule.indexOf(axiom, reason); if (j >= 0) { rule.disjointMembers_.remove(j); if (rule.isEmpty()) { ruleChain.remove(MATCHER_); LOGGER_.trace("{}: removed ", NAME);
ModifiableIndexedClassExpression ice = members.get(pos); if (index.remove(ice, new DisjointSubsumerFromMemberRule(axiom, pos, reason))) { removed++; } else { new DisjointSubsumerFromMemberRule(axiom, pos, reason));
ModifiableIndexedClassExpression ice = members.get(pos); if (index.remove(ice, new DisjointSubsumerFromMemberRule(axiom, pos, reason))) { removed++; } else { new DisjointSubsumerFromMemberRule(axiom, pos, reason));
ModifiableIndexedClassExpression ice = members.get(pos); if (index.add(ice, new DisjointSubsumerFromMemberRule(axiom, pos, reason))) { added++; } else { new DisjointSubsumerFromMemberRule(axiom, pos, reason));