@Override public ContradictionFromNegationRule create(ChainableSubsumerRule tail) { return new ContradictionFromNegationRule(tail); } };
@Override public ContradictionFromNegationRule create(ChainableSubsumerRule tail) { return new ContradictionFromNegationRule(tail); } };
@Override public ContradictionFromNegationRule create(ChainableSubsumerRule tail) { return new ContradictionFromNegationRule(tail); } };
public static boolean addRulesFor( ModifiableIndexedObjectComplementOf negation, ModifiableOntologyIndex index) { return index.add(negation.getNegated(), new ContradictionFromNegationRule(negation)); }
public static boolean removeRulesFor( ModifiableIndexedObjectComplementOf negation, ModifiableOntologyIndex index) { return index.remove(negation.getNegated(), new ContradictionFromNegationRule(negation)); }
public static boolean removeRulesFor( ModifiableIndexedObjectComplementOf negation, ModifiableOntologyIndex index) { return index.remove(negation.getNegated(), new ContradictionFromNegationRule(negation)); }
public static boolean addRulesFor( ModifiableIndexedObjectComplementOf negation, ModifiableOntologyIndex index) { return index.add(negation.getNegated(), new ContradictionFromNegationRule(negation)); }
public static boolean addRulesFor( ModifiableIndexedObjectComplementOf negation, ModifiableOntologyIndex index) { return index.add(negation.getNegated(), new ContradictionFromNegationRule(negation)); }
public static boolean removeRulesFor( ModifiableIndexedObjectComplementOf negation, ModifiableOntologyIndex index) { return index.remove(negation.getNegated(), new ContradictionFromNegationRule(negation)); }