@Override public ContradictionFromOwlNothingRule create(ChainableSubsumerRule tail) { return new ContradictionFromOwlNothingRule(tail); } };
boolean updateTotalOccurrenceNo(final ModifiableOntologyIndex index, int totalIncrement) { if (totalOccurrenceNo == 0 && totalIncrement > 0) { if (!ContradictionFromOwlNothingRule.addRuleFor(this, index)) { return false; } } totalOccurrenceNo += totalIncrement; if (totalOccurrenceNo == 0 && totalIncrement < 0) { if (!ContradictionFromOwlNothingRule.removeRuleFor(this, index)) { return false; } } return true; }
public static boolean addRuleFor(ModifiableIndexedClass owlNothing, ModifiableOntologyIndex index) { checkOwlNothing(owlNothing); return index.add(owlNothing, new ContradictionFromOwlNothingRule()); }
public static boolean removeRuleFor(ModifiableIndexedClass owlNothing, ModifiableOntologyIndex index) { checkOwlNothing(owlNothing); return index.remove(owlNothing, new ContradictionFromOwlNothingRule()); }
public static boolean removeRuleFor(ModifiableIndexedClass owlNothing, ModifiableOntologyIndex index) { checkOwlNothing(owlNothing); return index.remove(owlNothing, new ContradictionFromOwlNothingRule()); }
boolean updateTotalOccurrenceNo(final ModifiableOntologyIndex index, int totalIncrement) { if (totalOccurrenceNo == 0 && totalIncrement > 0) { if (!ContradictionFromOwlNothingRule.addRuleFor(this, index)) { return false; } } totalOccurrenceNo += totalIncrement; if (totalOccurrenceNo == 0 && totalIncrement < 0) { if (!ContradictionFromOwlNothingRule.removeRuleFor(this, index)) { return false; } } return true; }
@Override public ContradictionFromOwlNothingRule create(ChainableSubsumerRule tail) { return new ContradictionFromOwlNothingRule(tail); } };
public static boolean addRuleFor(ModifiableIndexedClass owlNothing, ModifiableOntologyIndex index) { checkOwlNothing(owlNothing); return index.add(owlNothing, new ContradictionFromOwlNothingRule()); }
boolean updateTotalOccurrenceNo(final ModifiableOntologyIndex index, int totalIncrement) { if (totalOccurrenceNo == 0 && totalIncrement > 0) { if (!ContradictionFromOwlNothingRule.addRuleFor(this, index)) { return false; } } totalOccurrenceNo += totalIncrement; if (totalOccurrenceNo == 0 && totalIncrement < 0) { if (!ContradictionFromOwlNothingRule.removeRuleFor(this, index)) { return false; } } return true; }
@Override public ContradictionFromOwlNothingRule create(ChainableSubsumerRule tail) { return new ContradictionFromOwlNothingRule(tail); } };
public static boolean removeRuleFor(ModifiableIndexedClass owlNothing, ModifiableOntologyIndex index) { checkOwlNothing(owlNothing); return index.remove(owlNothing, new ContradictionFromOwlNothingRule()); }
public static boolean addRuleFor(ModifiableIndexedClass owlNothing, ModifiableOntologyIndex index) { checkOwlNothing(owlNothing); return index.add(owlNothing, new ContradictionFromOwlNothingRule()); }