@Override public String visit(ClassInconsistencyOfObjectComplementOf inference) { return String.format("%s -| %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_)); }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
public SubClassInclusionDecomposed getSecondPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), negation_); }
@Override public O visit(ClassInconsistencyOfObjectComplementOf inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); return null; }
@Override public ClassConclusion visit( ClassInconsistencyOfObjectComplementOf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { if (negation_ != null && premises.getDecomposedSubsumers().contains(negation_)) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), negation_)); } }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getNegationMatch().getClassExpression()); }
public SubClassInclusionDecomposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getSecondPremise(factory), getOriginMatch()); }
@Override public O visit(ClassInconsistencyOfObjectComplementOf inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); return null; }
@Override public ClassConclusion visit( ClassInconsistencyOfObjectComplementOf inference) { return inference.getConclusion(conclusionFactory_); }
@Override public void apply(IndexedClassExpression premise, ContextPremises premises, ClassInferenceProducer producer) { if (negation_ != null && premises.getDecomposedSubsumers().contains(negation_)) { producer.produce(new ClassInconsistencyOfObjectComplementOf(premises.getRoot(), negation_)); } }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getNegationMatch().getClassExpression()); }
public SubClassInclusionDecomposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch1( getParent().getSecondPremise(factory), getOriginMatch()); }
@Override public String visit(ClassInconsistencyOfObjectComplementOf inference) { return String.format("%s -| %s; %s", inference.getConclusion(factory_), inference.getFirstPremise(factory_), inference.getSecondPremise(factory_)); }
@Override public O visit(ClassInconsistencyOfObjectComplementOf inference) { conclusionVisitor_.visit(inference.getFirstPremise(conclusionFactory_)); conclusionVisitor_ .visit(inference.getSecondPremise(conclusionFactory_)); return null; }
@Override public Conclusion getPremise(int index, Factory factory) { switch (index) { case 0: return getFirstPremise(factory); case 1: return getSecondPremise(factory); default: return failGetPremise(index); } }
@Override public ClassConclusion visit( ClassInconsistencyOfObjectComplementOf inference) { return inference.getConclusion(conclusionFactory_); }
public SubClassInclusionDecomposed getSecondPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), 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_)); } }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getNegationMatch().getClassExpression()); }