@Override public ElkEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentClassesAxiom) { ElkEquivalentClassesAxiom result = (ElkEquivalentClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public ElkEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentClassesAxiom) { ElkEquivalentClassesAxiom result = (ElkEquivalentClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public ElkEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentClassesAxiom) { ElkEquivalentClassesAxiom result = (ElkEquivalentClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public OWLEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { return owlFactory_.getOWLEquivalentClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { return owlFactory_.getOWLEquivalentClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLEquivalentClassesAxiom visit(ElkEquivalentClassesAxiom axiom) { return owlFactory_.getOWLEquivalentClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public Void visit(ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("EquivalentClasses("); write(elkEquivalentClassesAxiom.getClassExpressions()); write(')'); return null; }
@Override public Integer visit(ElkEquivalentClassesAxiom axiom) { return combinedHashCode(hashCode(ElkEquivalentClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Void visit( final ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("(equivalent "); write(elkEquivalentClassesAxiom.getClassExpressions()); write(")\n"); return null; }
@Override public Integer visit(ElkEquivalentClassesAxiom axiom) { return combinedHashCode(hashCode(ElkEquivalentClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Integer visit(ElkEquivalentClassesAxiom axiom) { return combinedHashCode(hashCode(ElkEquivalentClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Void visit( final ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("(equivalent "); write(elkEquivalentClassesAxiom.getClassExpressions()); write(")\n"); return null; }
@Override public Void visit(ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("EquivalentClasses("); write(elkEquivalentClassesAxiom.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkEquivalentClassesAxiom elkEquivalentClassesAxiom) { write("EquivalentClasses("); write(elkEquivalentClassesAxiom.getClassExpressions()); write(')'); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomSubClassConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubClassPosition()), members.get(parent.getSuperClassPosition())); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomSubClassConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubClassPosition()), members.get(parent.getSuperClassPosition())); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomSubClassConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubClassPosition()), members.get(parent.getSuperClassPosition())); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomEquivalenceConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), members.get(parent.getFirstMemberPosition()), members.get(parent.getSecondMemberPosition())); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomEquivalenceConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), members.get(parent.getFirstMemberPosition()), members.get(parent.getSecondMemberPosition())); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomEquivalenceConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), members.get(parent.getFirstMemberPosition()), members.get(parent.getSecondMemberPosition())); }