@Override public ElkDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDisjointClassesAxiom) { ElkDisjointClassesAxiom result = (ElkDisjointClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public Void visit(final ElkDifferentIndividualsAxiom axiom) { final List<? extends ElkIndividual> individuals = axiom .getIndividuals(); final List<ElkClassExpression> nominals = new ArrayList<ElkClassExpression>( individuals.size()); for (final ElkIndividual individual : individuals) { nominals.add(elkFactory_.getObjectOneOf(individual)); } elkFactory_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
@Override public ElkDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDisjointClassesAxiom) { ElkDisjointClassesAxiom result = (ElkDisjointClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public Void visit(final ElkDifferentIndividualsAxiom axiom) { final List<? extends ElkIndividual> individuals = axiom .getIndividuals(); final List<ElkClassExpression> nominals = new ArrayList<ElkClassExpression>( individuals.size()); for (final ElkIndividual individual : individuals) { nominals.add(elkFactory_.getObjectOneOf(individual)); } elkFactory_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
@Override public ElkDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDisjointClassesAxiom) { ElkDisjointClassesAxiom result = (ElkDisjointClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public Void visit(final ElkDifferentIndividualsAxiom axiom) { final List<? extends ElkIndividual> individuals = axiom .getIndividuals(); final List<ElkClassExpression> nominals = new ArrayList<ElkClassExpression>( individuals.size()); for (final ElkIndividual individual : individuals) { nominals.add(elkFactory_.getObjectOneOf(individual)); } elkFactory_.getDisjointClassesAxiom(nominals).accept(this); inferenceFactory_.getElkDifferentIndividualsOfDisjointClasses( individuals); return null; }
@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
@Override public OWLDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { return owlFactory_.getOWLDisjointClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { return owlFactory_.getOWLDisjointClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { return owlFactory_.getOWLDisjointClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public Void visit(ElkDisjointClassesAxiom elkDisjointClasses) { write("DisjointClasses("); write(elkDisjointClasses.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkDisjointClassesAxiom elkDisjointClasses) { write("DisjointClasses("); write(elkDisjointClasses.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkDisjointClassesAxiom elkDisjointClasses) { write("DisjointClasses("); write(elkDisjointClasses.getClassExpressions()); write(')'); return null; }
@Override public Integer visit(ElkDisjointClassesAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Integer visit(ElkDisjointClassesAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Integer visit(ElkDisjointClassesAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Void visit(ElkDisjointClassesAxiom elkDisjointClasses) { write("DisjointClasses("); write(elkDisjointClasses.getClassExpressions()); write(')'); return null; }
@Override public DisjointClassesEntailmentQuery visit( final ElkDisjointClassesAxiom axiom) { final List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); final int size = disjoint.size(); final List<SubClassOfEntailmentQuery> premises = new ArrayList<SubClassOfEntailmentQuery>( size); for (int first = 0; first < size - 1; first++) { for (int second = first + 1; second < size; second++) { final SubClassOfEntailmentQuery subsumption = visit(elkFactory_ .getSubClassOfAxiom(elkFactory_.getObjectIntersectionOf( disjoint.get(first), disjoint.get(second)), elkFactory_.getOwlNothing())); premises.add(subsumption); } } return new DisjointClassesEntailmentQuery( new DisjointClassesAxiomEntailmentImpl(axiom), premises); }