@Override public ElkDisjointUnionAxiom visit(ElkDisjointUnionAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDisjointUnionAxiom) { ElkDisjointUnionAxiom result = (ElkDisjointUnionAxiom) object_; if (equals(result.getDefinedClass(), axiom.getDefinedClass()) && equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public OWLDisjointUnionAxiom visit(ElkDisjointUnionAxiom axiom) { return owlFactory_.getOWLDisjointUnionAxiom( convert(axiom.getDefinedClass()), toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLDisjointUnionAxiom visit(ElkDisjointUnionAxiom axiom) { return owlFactory_.getOWLDisjointUnionAxiom( convert(axiom.getDefinedClass()), toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLDisjointUnionAxiom visit(ElkDisjointUnionAxiom axiom) { return owlFactory_.getOWLDisjointUnionAxiom( convert(axiom.getDefinedClass()), toClassExpressionSet(axiom.getClassExpressions())); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomEquivalenceConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), members.get(0)); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomSubClassConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), premise.getClassExpressions().get(parent.getDisjunctPosition()), premise.getDefinedClass()); }
@Override public Integer visit(ElkDisjointUnionAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointUnionAxiom.class), hashCode(axiom.getDefinedClass()), hashCode(axiom.getClassExpressions())); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomEquivalenceConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), members.get(0)); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomSubClassConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), premise.getClassExpressions().get(parent.getDisjunctPosition()), premise.getDefinedClass()); }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomEquivalenceConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), members.get(0)); }
@Override public Integer visit(ElkDisjointUnionAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointUnionAxiom.class), hashCode(axiom.getDefinedClass()), hashCode(axiom.getClassExpressions())); }
@Override public Integer visit(ElkDisjointUnionAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointUnionAxiom.class), hashCode(axiom.getDefinedClass()), hashCode(axiom.getClassExpressions())); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomSubClassConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), premise.getClassExpressions().get(parent.getDisjunctPosition()), premise.getDefinedClass()); }
@Override public Void visit(ElkDisjointUnionAxiom elkDisjointUnionAxiom) { write("DisjointUnion("); write(elkDisjointUnionAxiom.getDefinedClass()); write(' '); write(elkDisjointUnionAxiom.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkDisjointUnionAxiom elkDisjointUnionAxiom) { write("DisjointUnion("); write(elkDisjointUnionAxiom.getDefinedClass()); write(' '); write(elkDisjointUnionAxiom.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkDisjointUnionAxiom elkDisjointUnionAxiom) { write("DisjointUnion("); write(elkDisjointUnionAxiom.getDefinedClass()); write(' '); write(elkDisjointUnionAxiom.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkDisjointUnionAxiom elkDisjointUnionAxiom) { write("DisjointUnion("); write(elkDisjointUnionAxiom.getDefinedClass()); write(' '); write(elkDisjointUnionAxiom.getClassExpressions()); write(')'); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomOwlNothingConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), factory.getOwlNothing()); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomOwlNothingConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), factory.getOwlNothing()); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomOwlNothingConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), factory.getOwlNothing()); }