@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { if (negation_ != null && premises.getDecomposedSubsumers().contains(negation_)) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), negation_)); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { if (negation_ != null && premises.getDecomposedSubsumers().contains(negation_)) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), negation_)); } }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { if (negation_ != null && premises.getDecomposedSubsumers().contains(negation_)) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), negation_)); } }
@Override public void apply(IndexedObjectComplementOf premise, ContextPremises premises, ClassInferenceProducer producer) { if (premises.getComposedSubsumers().contains(premise.getNegated())) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), premise)); } }
@Override public void apply(IndexedObjectComplementOf premise, ContextPremises premises, ClassInferenceProducer producer) { if (premises.getComposedSubsumers().contains(premise.getNegated())) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), premise)); } }
@Override public void apply(IndexedObjectComplementOf premise, ContextPremises premises, ClassInferenceProducer producer) { if (premises.getComposedSubsumers().contains(premise.getNegated())) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), premise)); } }