@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; }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomNaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
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 IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomNaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomOwlNothingConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), factory.getOwlNothing()); }
@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; }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomNaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomOwlNothingConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), factory.getOwlNothing()); }
@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; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomBinaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectIntersectionOf( disjoint.get(parent.getFirstDisjunctPosition()), disjoint.get(parent.getSecondDisjunctPosition())), factory.getOwlNothing()); }
@Override public OWLDisjointUnionAxiom visit(ElkDisjointUnionAxiom axiom) { return owlFactory_.getOWLDisjointUnionAxiom( convert(axiom.getDefinedClass()), toClassExpressionSet(axiom.getClassExpressions())); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomBinaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectIntersectionOf( disjoint.get(parent.getFirstDisjunctPosition()), disjoint.get(parent.getSecondDisjunctPosition())), factory.getOwlNothing()); }
@Override public OWLDisjointUnionAxiom visit(ElkDisjointUnionAxiom axiom) { return owlFactory_.getOWLDisjointUnionAxiom( convert(axiom.getDefinedClass()), toClassExpressionSet(axiom.getClassExpressions())); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomBinaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectIntersectionOf( disjoint.get(parent.getFirstDisjunctPosition()), disjoint.get(parent.getSecondDisjunctPosition())), factory.getOwlNothing()); }
@Override public OWLDisjointUnionAxiom visit(ElkDisjointUnionAxiom axiom) { return owlFactory_.getOWLDisjointUnionAxiom( convert(axiom.getDefinedClass()), toClassExpressionSet(axiom.getClassExpressions())); }
@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())); }
@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()); }