@Override public ElkObjectComplementOf visit(ElkObjectComplementOf expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectComplementOf) { ElkObjectComplementOf result = (ElkObjectComplementOf) object_; if (equals(result.getClassExpression(), expression.getClassExpression())) return result; } return null; }
@Override public ElkObjectComplementOf visit(ElkObjectComplementOf expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectComplementOf) { ElkObjectComplementOf result = (ElkObjectComplementOf) object_; if (equals(result.getClassExpression(), expression.getClassExpression())) return result; } return null; }
@Override public ElkObjectComplementOf visit(ElkObjectComplementOf expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectComplementOf) { ElkObjectComplementOf result = (ElkObjectComplementOf) object_; if (equals(result.getClassExpression(), expression.getClassExpression())) return result; } return null; }
@Override public ModifiableIndexedClassExpression visit( ElkObjectComplementOf elkObjectComplementOf) { return factory_.getIndexedObjectComplementOf(elkObjectComplementOf .getClassExpression().accept(complementaryConverter_)); }
@Override public OWLObjectComplementOf visit(ElkObjectComplementOf expression) { return owlFactory_.getOWLObjectComplementOf( convert(expression.getClassExpression())); }
@Override public ModifiableIndexedClassExpression visit( ElkObjectComplementOf elkObjectComplementOf) { return factory_.getIndexedObjectComplementOf(elkObjectComplementOf .getClassExpression().accept(complementaryConverter_)); }
@Override public OWLObjectComplementOf visit(ElkObjectComplementOf expression) { return owlFactory_.getOWLObjectComplementOf( convert(expression.getClassExpression())); }
@Override public OWLObjectComplementOf visit(ElkObjectComplementOf expression) { return owlFactory_.getOWLObjectComplementOf( convert(expression.getClassExpression())); }
@Override public ModifiableIndexedClassExpression visit( ElkObjectComplementOf elkObjectComplementOf) { return factory_.getIndexedObjectComplementOf(elkObjectComplementOf .getClassExpression().accept(complementaryConverter_)); }
@Override public Integer visit(ElkObjectComplementOf expression) { return combinedHashCode(hashCode(ElkObjectComplementOf.class), hashCode(expression.getClassExpression())); }
@Override public Void visit(ElkObjectComplementOf elkObjectComplementOf) { write("ObjectComplementOf("); write(elkObjectComplementOf.getClassExpression()); write(')'); return null; }
@Override public Void visit(ElkObjectComplementOf elkObjectComplementOf) { write("ObjectComplementOf("); write(elkObjectComplementOf.getClassExpression()); write(')'); return null; }
@Override public Integer visit(ElkObjectComplementOf expression) { return combinedHashCode(hashCode(ElkObjectComplementOf.class), hashCode(expression.getClassExpression())); }
@Override public Void visit(ElkObjectComplementOf elkObjectComplementOf) { write("ObjectComplementOf("); write(elkObjectComplementOf.getClassExpression()); write(')'); return null; }
@Override public Integer visit(ElkObjectComplementOf expression) { return combinedHashCode(hashCode(ElkObjectComplementOf.class), hashCode(expression.getClassExpression())); }
@Override public Void visit(ElkObjectComplementOf elkObjectComplementOf) { write("ObjectComplementOf("); write(elkObjectComplementOf.getClassExpression()); write(')'); return null; }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getNegationMatch().getClassExpression()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getNegationMatch().getClassExpression()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getNegationMatch().getClassExpression()); }
.getElkClassInclusionObjectIntersectionOfComposition( extendedSubExpression, negationMatch.getClassExpression(), negationMatch); elkInferenceFactory_.getElkClassInclusionNegationClash( negationMatch.getClassExpression()); elkInferenceFactory_.getElkClassInclusionHierarchy( extendedSubExpression, conclusionFactory_.getObjectIntersectionOf( negationMatch.getClassExpression(), negationMatch), conclusionFactory_.getOwlNothing()); return null;